| Program |
| 0830 - 0850 | Registration |
| 0850 - 0900 | Opening Remarks |
| 0900 - 0945 |
Thomas Wies Ideal Abstractions of Concurrent Infinite State Systems |
| 0945 - 1000 |
Barbara König
Well-Structured Graph Transformation Systems |
| 1030 - 1100 | Coffee Break |
| 1100 - 1145 |
Ranko Lazic Multi-dimensional energy games and related problems |
| 1145 - 1230 |
Ashutosh Trivedi
Bounded-Rate Multi-Mode Systems Based Motion Planning |
| 1230 - 1400 | Lunch |
| 1400 - 1445 |
Thomas Colcombet Asymptotic analysis of tropical automata |
| 1445 - 1530 |
Anca Muscholl
Walking With Data: Where Does it Stop? |
| 1530 - 1600 | Coffee Break |
| 1600 - 1645 |
Roland Meyer Robustness against Relaxed Memory Models |
| 1645 - 1730 |
Rohit Chadha
Probabilistic models and their analysis |