Infinite Systems Verification Day

From Numerical Transition Systems
Revision as of 09:33, 13 July 2016 by Radu iosif (Talk | contribs)

Jump to: navigation, search

When: September 29th, 2016

Where: Auditorium, Ground Floor, IMAG Building

Registration: the event is free and open to the public

Travel and hotels: Grenoble local information



Programme

9:00 Welcome


9:30-10:30 Andreas Podelski (University of Freiburg)

TBA


10:30-11:30 Joel Ouaknine (Max Planck Institute for Software Systems (MPI-SWS) and Oxford University)

TBA


11:30-12:30 Parosh Aziz Abdulla (Uppsala University)

TBA