Difference between revisions of "Infinite Systems Verification Day"

From Numerical Transition Systems
Jump to: navigation, search
Line 20: Line 20:
  
  
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 and Oxford University)'''
  
 
TBA
 
TBA
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)''' ''Automata and Logics for Program Verification''
+
'''Radu Iosif (Verimag)'''  
 +
 
 +
''Automata and Logics for Program Verification''
 +
 
  
 
Jury:  
 
Jury:  
  
 
* Alain Finkel (LSV, ENS de Cachan) ''Rapporteur''
 
* Alain Finkel (LSV, ENS de Cachan) ''Rapporteur''
 +
* Parosh Aziz Abdulla (Uppsala University) ''Rapporteur''
 +
* Joel Ouaknine (Max Planck Institute for Software Systems and Oxford University) ''Rapporteur''
 +
* Ahmed Bouajjani (Universite Paris Diderot) ''Examinateur''
 +
* Andreas Podelski (University of Freiburg) ''Examinateur''
 +
* Nicolas Halbwachs (Verimag, CNRS, Universite de Grenoble Alpes) ''Examinateur''

Revision as of 09:42, 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 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
  • Parosh Aziz Abdulla (Uppsala University) Rapporteur
  • Joel Ouaknine (Max Planck Institute for Software Systems and Oxford University) Rapporteur
  • Ahmed Bouajjani (Universite Paris Diderot) Examinateur
  • Andreas Podelski (University of Freiburg) Examinateur
  • Nicolas Halbwachs (Verimag, CNRS, Universite de Grenoble Alpes) Examinateur