Monday, June 13, 2005
|
|
07:30-08:45
|
breakfast
|
|
Chair: Amir Pnueli
|
|
08:45-09:00
|
Welcome and Introductions
|
|
09:00-10:30
| |
Wolfgang Thomas (RWTH Aachen)
| |
Game-Based Synthesis Tutorial
|
|
|
10:30-11:00
| coffee break |
|
11:00-11:40
| |
Amir Pnueli (Rice University)
| |
Program synthesis in action -- Solving a doubly-exponential
hard problem in cubic time
|
|
|
11:40-12:20
| |
Moshe Y. Vardi (Rice University)
| |
Tree Automata in Synthesis
|
|
|
12:20-14:00
| lunch break |
|
Chair: Moshe Y. Vardi
|
|
14:00-14:40
| |
David Janin (University of Bordeaux)
| |
Discrete distributed games and tree automata theory
|
|
|
14:40-15:20
| |
Thomas Wilke (Christian-Albrechts-University of Kiel)
| |
Synthesis from Knowledge-based Specifications
|
|
|
15:20-16:00
| |
Pierre-Yves Schobbens (University of Namur)
| |
A heuristic to synthesize strategies for ATL* without
determinization
|
|
|
16:00-16:30
| coffee break |
|
Chair: Wolfgang Thomas
|
|
16:30-17:15
| |
Anca Muscholl ( Université Paris 7)
| |
Synthesis over different concurrent models
|
|
|
17:15-18:00
| |
Christof Löding (RWTH Aachen)
| |
Synthesis from Scenarios
|
|
|
18:00
| dinner |