[PL-sem-jr] Room: WVH 166 and VOTE topics for this semester
a.pelenitsyn at gmail.com
Sat Feb 15 17:15:42 EST 2020
This is just a reminder to vote on the topics. We have 6 votes so far:
And I hope to see you all on Monday, 10 AM.
Kind regards, Artem
On Thu, 13 Feb 2020 at 18:50, Artem Pelenitsyn <a.pelenitsyn at gmail.com>
> Dear all,
> We booked WVH166 for Mondays 9:30 — 11:00 AM. We are going to meet next
> Monday, Feb 17th, *at 10 AM* and read
> > Incorrectness logic (POPL 2020)
> pdf <https://dl.acm.org/doi/pdf/10.1145/3371078?download=true>, video
> Preliminary skimming of the text is advisable.
> Also, we created a poll reflecting the topics discussed at the meeting:
> Note: you can simply drag and drop the rows to show your preferences.
> We think that it makes sense to have the poll open until Monday evening,
> but we can discuss and we can always reopen it.
> -- Kind regards, Artem & Julia
> PS: This somewhat unusual style of polling preferences is based on a quite
> popular Condorcet method: https://en.wikipedia.org/wiki/Condorcet_method
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the Pl-sem-jr