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

21 January 2012
Details   Program   Directions/Accommodation   Registration
Location: Courant Institute of Mathematical Sciences
Room 312
New York University
New York, New York
google map
Date: 21 January 2012
(the day before VMCAI/POPL)
Topic: Systems Verification, broadly construed
Questions? email Eric Koskinen at

The location has been chosen for its proximity to VMCAI/POPL. From NYU, it is about a 1.5 hour train ride (3 hours door-to-door) or else 2 hours door-to-door by car to the Hotel in Philadelphia (click here for directions). Consequently, it is possible to travel to Philadelphia in the evening after dinner, or else the following morning, perhaps missing the first session of VMCAI.

Note: As always, the intention is more to generate discussions/ideas and get feedback on early ideas. To this end, we would prefer well-prepared whiteboard talks on very new research (e.g. not POPL/VMCAI practice talks).

This conference is supported in part by Computational Modeling and Analysis for Complex Systems (CMACS).