Difference between revisions of "Infinite Systems Verification Day"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 2: | Line 2: | ||
'''Where''': Auditorium, Ground Floor, [https://batiment.imag.fr/ IMAG Building] | '''Where''': Auditorium, Ground Floor, [https://batiment.imag.fr/ IMAG Building] | ||
| + | |||
| + | |||
| + | == 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 | ||
Revision as of 09:27, 13 July 2016
When: September 29th, 2016
Where: Auditorium, Ground Floor, IMAG Building
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
