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

[Artem Pelenitsyn]

And if you can’t attend, please, let us know

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

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