[PL-sem-jr] Monday meeting and voting on topics

[Artem Pelenitsyn]

Get well!

On Mon, Feb 24, 2020, 9:30 AM Nathaniel Arfaa Yazdani <
yazdani.n at northeastern.edu> wrote:

> Hi all,
>
> I'm under the weather today, but I wanted to note my support (besides the
> poll) for category theory as a continuing topic :-)
>
> Nate
> ------------------------------
> *From:* pl-sem-jr-bounces at lists.ccs.neu.edu <
> pl-sem-jr-bounces at lists.ccs.neu.edu> on behalf of Artem Pelenitsyn <
> a.pelenitsyn at gmail.com>
> *Sent:* Saturday, February 22, 2020 12:20 PM
> *To:* pl-sem-jr at lists.ccs.neu.edu <pl-sem-jr at lists.ccs.neu.edu>
> *Subject:* [PL-sem-jr] Monday meeting and voting on topics
>
> Hey all,
>
> We'll meet on Monday, 9:30 AM, WVH 166 to continue reading the
> Incorrectness Logic paper starting from Section 3.1.
>
> We voted on the topics last weekend but the poll is still open: jump in if
> you have not already!
>
>
> https://civs.cs.cornell.edu/cgi-bin/vote.pl?id=E_a654170768f2d024&akey=3837b812cd4485a4
> <https://nam05.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcivs.cs.cornell.edu%2Fcgi-bin%2Fvote.pl%3Fid%3DE_a654170768f2d024%26akey%3D3837b812cd4485a4&data=02%7C01%7Cyazdani.n%40northeastern.edu%7Cbe4937e9f7c94d7e8bf408d7b7bb8f4e%7Ca8eec281aaa34daeac9b9a398b9215e7%7C0%7C0%7C637179888794879692&sdata=VhA5Qco5UlcT%2F9uIWGUZwnjGs%2FyvYMgA3Rjo7CeY3rA%3D&reserved=0>
>
> So far, Agda is first and Category Theory is second. But I felt more
> passion towards categories among some participants. One possible move
> (which we can discuss, among the others, at the end of Monday meeting, I
> guess): is to take categories, no matter that it's second.
>
> Think about it! And vote!
>
> --
> Kind regards,
> Artem & Julia
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed