Difference between revisions of "Infinite Systems Verification Day"

From Numerical Transition Systems
Jump to: navigation, search
Line 28: Line 28:
  
 
TBA
 
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''

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