Seminar: Automatenkonstruktionen im Model Checking - Zeitplan

Zeit	Thema	Vortragender	Kurzkommentar
Donnerstag, 28. Juli 2011
9:15-9:20	Begrüßung
9:20-10:00	B.4: Linear-Time Temporal Logic and Büchi Automata	Eugen Sawin	Luminous Fennell
10:00-10:40	A.4: Alternating-time Temporal Logic	Luminous Fennell	Fabian Wenzelmann
10:40-11:00	Kaffeepause
11:00-11:40	D.1: Introduction to Infinite Games	Felix Atmanspacher Folien (4-auf-1)	Christian Schilling Folien (4-auf-1)
11:40-12:20	B.2: On Complementing Nondeterministic Büchi Automata	Stephanie Embgen	Sebastian Dufner
12:20-13:20	Mittagspause
13:20-14:00	C.1: LTL to Büchi Translation à la Gerth et al.	Christian Schilling Folien (4-auf-1)	Stephanie Embgen
14:00-14:40	A.2: Presburger Arithmetik	Sebastian Dufner	Felix Atmanspacher
14:40-15:00	Kaffeepause
15:00-15:40	D.2: Timed Games and an Application to Automated Planning	Fabian Wenzelmann Folien (4-auf-1)	Daniel Jäckle
15:40-16:20	E.2: Automata-based Heuristics in Directed Model Checking	Daniel Jäckle	Eugen Sawin
16:20-16:40	Abschlussdiskussion

Für jedes Thema sind 40 Minuten eingeplant, von denen 25 Minuten für den Vortrag, 5 Minuten für den anschließenden Kurzkommentar und 10 Minuten für inhaltliche Diskussion und Feedback vorgesehen sind.