Infinite Systems Verification Day
From Numerical Transition Systems
Revision as of 09:42, 13 July 2016 by Radu iosif (Talk | contribs)
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
