Difference between revisions of "Infinite Systems Verification Day"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| 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
