[PL-sem-jr] Room: WVH 166 and VOTE topics for this semester

[Artem Pelenitsyn]

Dear all,

This is just a reminder to vote on the topics. We have 6 votes so far:

>
https://civs.cs.cornell.edu/cgi-bin/vote.pl?id=E_a654170768f2d024&akey=3837b812cd4485a4

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>
wrote:

> 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)
> <https://popl20.sigplan.org/details/POPL-2020-Research-Papers/22/Incorrectness-Logic>:
> pdf <https://dl.acm.org/doi/pdf/10.1145/3371078?download=true>, video
> <https://youtu.be/wYFKm2uSuO4>
> Preliminary skimming of the text is advisable.
>
> Also, we created a poll reflecting the topics discussed at the meeting:
>
> >
> https://civs.cs.cornell.edu/cgi-bin/vote.pl?id=E_a654170768f2d024&akey=3837b812cd4485a4
>
> 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