Difference between revisions of "Infinite Systems Verification Day"

From Numerical Transition Systems
Jump to: navigation, search
Line 6: Line 6:
  
 
'''Travel and hotels''': [http://www.grenoble-tourisme.com/en/ Grenoble local information]
 
'''Travel and hotels''': [http://www.grenoble-tourisme.com/en/ Grenoble local information]
 +
 +
----
 +
  
 
== Programme ==
 
== Programme ==

Revision as of 09:33, 13 July 2016

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