VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Tue 19 Jan 2016 16:30 - 17:00 at Room St Petersburg I - Solver Improvements Chair(s): Roopsha Samanta

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change