Mon 18 Jan 2016 10:30 - 11:00 at Room St Petersburg I - Hybrid and Timed Systems Chair(s): David Monniaux
Mon 18 Jan
10:30 - 12:00: VMCAI - Hybrid and Timed Systems at Room St Petersburg I Chair(s): David MonniauxCNRS, VERIMAG | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk |