Difference between revisions of "Infinite Systems Verification Day"

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

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

@@ Line 20: / Line 20: @@
-:30-11:30 '''Joel Ouaknine (Max Planck Institute for Software Systems (MPI-SWS) and Oxford University)'''
+:30-11:30 '''Joel Ouaknine (Max Planck Institute for Software Systems and Oxford University)'''
 TBA
@@ Line 34: / Line 34: @@
 :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:
 * 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''