Monday, Nov. 5, 2001
|
|
07:30-08:45
|
breakfast
|
|
Chair: Moshe Y. Vardi
|
|
08:45-09:00
|
Welcome and Introductions
|
|
09:00-10:00
| |
|
10:00-11:00
| |
|
11:00-11:30
| coffee break |
|
11:30-12:15
| |
Wolfgang Thomas (RWTH AAchen)
| |
Algorithmic Results in Infinite Automata Theory
|
|
|
12:15-14:00
| lunch break |
|
Chair: David Dill
|
|
14:00-14:40
| |
Prasad Sistla (University of Illinois, Chicago)
| |
Symmetry Reductions
|
|
|
14:40-15:20
| |
|
15:20-16:00
| |
|
16:00-16:30
| coffee break |
|
Chair: David Dill
|
|
16:30-17:15
| |
|
17:15-18:00
| |
Orna Kupferman (Hebrew University)
| |
Exploring Infinite State Spaces with Tree Automata
|
|
|
18:00
| dinner |