Re: [pl-seminar] PL students regular group lunch

[Samuel Drews <sedrews@xxxxxxxx>]

Reminder: we'll be doing this again tomorrow!  Same plan of convening on the 6th floor at noon.

---

From: Pl-seminar <pl-seminar-bounces@xxxxxxxxxxx> on behalf of Samuel Drews <pl-seminar-bounces@xxxxxxxxxxx>
Sent: Monday, July 1, 2019 9:08:19 AM
To: pl-seminar@xxxxxxxxxxx <pl-seminar@xxxxxxxxxxx>
Subject: Re: [pl-seminar] PL students regular group lunch

 

Thanks everyone who voted!  Tuesdays will be the day.  Let's meet in the 6th floor lounge tomorrow at noon and wing it.

Cheers,

Samuel Drews

---

From: Pl-seminar <pl-seminar-bounces@xxxxxxxxxxx> on behalf of Samuel Drews <pl-seminar-bounces@xxxxxxxxxxx>
Sent: Wednesday, June 26, 2019 12:47:00 PM
To: pl-seminar@xxxxxxxxxxx
Subject: [pl-seminar] PL students regular group lunch

 

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