[pl-seminar] PL students regular group lunch

[Samuel Drews <sedrews@xxxxxxxx>]

Hi everyone (by which I mean the students---sorry faculty members),

In the interest of fostering camaraderie over the summer, it could be fun to organize a regular (weekly?) group lunch for PL students to socialize, gripe about their POPL submissions, etc.  I've undergone the arduous process of setting up a doodle poll; if you like this idea and would participate, please indicate your availability! https://doodle.com/poll/zuu2mxzee3e7i6xe (I've listed Monday as an option even though that's historically when we have the seminar---we'll try not to use it.)

Best,

Samuel Drews