Pre-POPL Yak International
Courant Institute of Mathematical Sciences
New York University

21 January 2012
Details   Program   Directions/Accommodation   Registration
8:30Breakfast including juice, bagels, pastries, etc.
9:30Peter O'Hearn (Queen Mary Univ. of London)
10:00Matthew Parkinson (Microsoft) draft
10:30 Break
11:00Andreas Podelski (Freiberg) slides
11:30David Costanzo (Yale) draft
12:00 Lunch
13:30Patrick Cousot (NYU)
14:00Thomas Wahl (Northeastern)
14:30 Coffee
15:30Andrey Rybalchenko (TU Munich)
16:00 Open discussion...
Email if you would like to give a talk!