[pl-seminar] Akash Lal's visit to the UW CS Department (4/18-19)

[Thomas Reps <reps@xxxxxxxxxxx>]

Hi,

Akash Lal will be visiting the UW CS Department next Monday and Tuesday, 4/18-19/2016.
He will give a talk on Monday at 4-5 PM in 1240 CS on "Inferring Annotations from Verification Histories"
(see https://www.cs.wisc.edu/events/2740).

I have created a Google Doc for people to sign up to meet with him:
https://docs.google.com/document/d/1VUGMQpGVDauMAejSy6nqKNOnnSp8RZXIOzgqLJEFiS8/edit?usp=sharing

Two lunch parties and a dinner party need to be formed.

Tom