Difference between revisions of "Infinite Systems Verification Day"

From Numerical Transition Systems
Jump to: navigation, search
Line 13: Line 13:
  
 
9:00 Welcome
 
9:00 Welcome
 +
  
 
9:30-10:30 '''Andreas Podelski (University of Freiburg)'''  
 
9:30-10:30 '''Andreas Podelski (University of Freiburg)'''  
  
 
TBA
 
TBA
 +
  
 
10:30-11:30 '''Joel Ouaknine (Max Planck Institute for Software Systems (MPI-SWS) and Oxford University)'''
 
10:30-11:30 '''Joel Ouaknine (Max Planck Institute for Software Systems (MPI-SWS) and Oxford University)'''
  
 
TBA
 
TBA
 +
  
 
11:30-12:30 '''Parosh Aziz Abdulla (Uppsala University)'''
 
11:30-12:30 '''Parosh Aziz Abdulla (Uppsala University)'''
  
 
TBA
 
TBA

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