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