Monday 02.12.
Begin End Duration Speaker Presentation
09:00:00 09:15:00 00:15:00 S. Engell + F. Vandraager Welcoming
09:15:00 10:15:00 01:00:00 Holger Hermanns Modest Language
10:15:00 10:45:00 00:30:00 Gerd Behrmann Terma CS
10:45:00 11:00:00 00:15:00
Break
11:00:00 11:30:00 00:30:00 Sebastien Bornot Scheduling Theory for the Terma Case Study
11:30:00 12:00:00 00:30:00 Gera Weiss Memory Management (Terma CS)
12:00:00 12:45:00 00:45:00 Angelika Mader Cost Driven Uppaal (Cybernetix CS)
12:45:00 14:00:00 01:15:00
Lunch
14:00:00 15:00:00 01:00:00 Theo Ruys SPIN and Cybernetix CS
15:00:00 16:00:00 01:00:00 Tomas Krilavicius, Martijn Hendriks Modeling Approach Bosch CS
16:00:00 16:30:00 00:30:00
Break
16:30:00 18:00:00 01:30:00
PCC
18:30:00 20:30:00 02:00:00
Christmas fair Dortmund
21:00:00 23:00:00 02:00:00
Dinner in Mongo's









Tuesday 03.12.
Begin End Duration Speaker Presentation
09:00:00 10:00:00 01:00:00 Kim Larsen, Ed Brinksma Optimal Infinite Control
10:00:00 10:15:00 00:15:00 Sonja Loeschmann Modeling problems with Uppaal
10:15:00 10:45:00 00:30:00 Sebastian Panek LPTA as MILP models
10:45:00 11:00:00 00:15:00
Break
11:00:00 12:00:00 01:00:00 Oded Maler, Abdelkarim Kerbaa Advances in TA scheduling: partial-orders, uncertainty and first steps toward value chains
12:00:00 12:45:00 00:45:00 Guido Sand Applied Stochastic Integer Programming: Batch Scheduling in the Processing Industries
12:45:00 13:45:00 01:00:00
Lunch
13:45:00 14:15:00 00:30:00 Remi Morin ?