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

Nathaniel Arfaa Yazdani yazdani.n at northeastern.edu
Mon Feb 24 09:28:28 EST 2020

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

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!


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
-------------- next part --------------
HTML attachment scrubbed and removed

More information about the Pl-sem-jr mailing list