Tuesday, June 14, 2005
|
|
07:30-09:00
|
breakfast
|
|
Chair: Moshe Y. Vardi
|
|
09:00-10:30
| |
John G. Thistle (University of Waterloo)
| |
Supervisory-Control Tutorial
|
|
|
10:30-11:00
| coffee break |
|
11:00-11:40
| |
Stephane Lafortune (University of Michigan)
| |
Decentralized Supervisory Control of Discrete-Event System
|
|
|
11:40-12:20
| |
Sophie Pinchinat (IRISA - Renne)
| |
Second-order Quantification of Temporal Logics
and its Application to Supervisory Control
|
|
|
12:20-14:00
| lunch break |
|
Chair: Wolfgang Thomas
|
|
14:00-15:00
| |
Henry Kautz (University of Washnington)
| |
Planning Tutorial
|
|
|
15:15-16:00
| |
Derek Long (University of Strathdyde - Glasgow)
| |
A Standard Language for Modelling Planning Domains -
Its Expressive Power and its Limitations
|
|
|
16:00-16:30
| coffee break |
|
Chair: Henry Kautz
|
|
16:30-17:15
| |
William Rounds (University of Michigan)
| |
Merging Spatial and Temporal Logic for Discrete Event Control
|
|
|
17:15-18:00
| |
Bernhard Nebel (University of Freiburg)
| |
Adding Axioms to Planning Domain Descriptions
|
|
|
18:00
| dinner |