Thursday, Nov. 8, 2001
|
|
07:30-09:00
|
breakfast
|
|
Chair: Robert Givan
|
|
09:00-09:45
| |
|
09:45-10:30
| |
|
10:30-11:00
| coffee break |
|
11:00-11:45
| |
|
11:45-12:30
| |
|
12:30-14:00
| lunch break |
|
Chair: Wolfgang Thomas
|
|
14:00-14:40
| |
|
14:40-15:20
| |
|
15:20-16:00
| |
Tom Dean (Brown University)
| |
Minimizing Approximate Models versus Approximating Minimal Models
|
|
|
16:00-16:30
| coffee break |
|
16:30-17:15
| |
Thomas Wilke (Univ. Kiel)
| |
Reducing the State Space of Buchi Automata using Simulation Relations
|
|
|
17:15-18:00
| |
Colin Stirling (Edinburgh University)
| |
Decidability of Language Equivalence for DPDA
|
|
|
18:00
| dinner |
|
Chair: Moshe Y. Vardi
|
|
20:00-21:30
| |