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

[Artem Pelenitsyn]

Happy President's day / Washington's birthday!

See you all in 2 hours!

--
Best, Artem

On Sat, Feb 15, 2020, 5:15 PM Artem Pelenitsyn <a.pelenitsyn at gmail.com>
wrote:

> 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