Difference between revisions of "Infinite Systems Verification Day"

From Numerical Transition Systems
Jump to: navigation, search
Line 34: Line 34:
 
14:00-17:00 '''Habilitation a Diriger des Recherches'''
 
14:00-17:00 '''Habilitation a Diriger des Recherches'''
  
'''Radu Iosif (Verimag)'''
+
'''Radu Iosif (Verimag)''' ''Automata and Logics for Program Verification''
 
+
''Automata and Logics for Program Verification''
+
  
 
Jury:  
 
Jury:  
  
 
* Alain Finkel (LSV, ENS de Cachan) ''Rapporteur''
 
* Alain Finkel (LSV, ENS de Cachan) ''Rapporteur''

Revision as of 09:39, 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



14:00-17:00 Habilitation a Diriger des Recherches

Radu Iosif (Verimag) Automata and Logics for Program Verification

Jury:

  • Alain Finkel (LSV, ENS de Cachan) Rapporteur