----------------------------------
Thu, February 16, 9:00 - ca. 13:15
----------------------------------

9:00	Introduction

9:05	Büchi automata

9:50	10 min break

10:00	Simulation - Introduction

10:25	Simulation - Lookahead

11:00	15 min break

11:15	Antichains I

11:50	Antichains II

12:15	10 min break

12:25	Petri nets I

12:50	Petri nets II

----------------------------------
Fri, February 17, 9:00 - ca. 15:10
----------------------------------

9:00	Minimization of finite automata

9:25	Minimization of Mealy automata

9:50	10 min break

10:00	Learning finite automata

10:25	Don't care words

10:50	15 min break

11:05	Flanked finite automata

11:30	Context-sensitive languages

11:55	65 min lunch break

13:00	Reachability in pushdown systems

13:25	Visibly pushdown automata - Introduction

13:50	10 min break

14:00	Visibly pushdown automata - On-the-fly algorithms

14:35	Visibly pushdown automata - Symbolic