Programm, 8. September 2008
9:00 bis 12:30 Uhr - Lightweight Verification
Hans-Rüdiger Olderog
Kollision Freedom of Traffic Agents
Andreas Podelski
Termination Analysis of Reaktive Systems
Andreas Zeller
Mining Temporal Program Properties
Mittagessen
Ab 14:00 Uhr - Fachruppentreffen
Pascal Hitzler
Some Advances in Tractable Description Logics
Carsten Lutz
Conjunctive Query Answering in Description Logics
Thomas Wilke
Determinisierung von omega-Automaten
Diskussion und Organisatorisches
Gegen 18:00 Uhr - Ende des Treffens