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

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change