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

[Artem Pelenitsyn]

It’s WVH 166

On Mon, Feb 17, 2020 at 8:03 AM Artem Pelenitsyn <a.pelenitsyn at gmail.com>
wrote:

> 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