VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Mon 18 Jan 2016 11:00 - 11:30 at Room St Petersburg I - Hybrid and Timed Systems Chair(s): David Monniaux

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Hybrid and Timed SystemsVMCAI at Room St Petersburg I
Chair(s): David MonniauxCNRS, VERIMAG
10:30 - 11:00
Talk
VMCAI
Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
11:00 - 11:30
Talk
VMCAI
Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria
11:30 - 12:00
Talk
VMCAI