Location: University Library Building, room TBA.
Registration, 8:30-9:00
- The registration desk is in the foyer of the library building
Session 1, 9:00-10:45
- 9:00-9:15, Opening and brief introduction to the workshop: Val Goranko
- 9:15-10:15, Oliver Friedmann and Martin Lange: Tableaux with Automata
- 10:15-10:45, Natthapong Jungteerapanich: A Tableau System and the Small Model Theorem for the Pi_2-Fragment of the Modal mu-Calculus
Coffee break, 10:45-11:00
- Coffee is served in the basement of the library building
Session 2, 11:00-12:30
- 11:00-12:00, Stephane Demri: Reasoning About Memory States with Automata and Tableaux
- 12:00-12:30, Jan Hladik: Tableaux and Automata for Description Logics
Lunch, 12:30-14:00
- Lunch is served in the library's personnel cantina
Session 3, 14:00-15:30
- 14:00-14:30, Rafael Penaloza: Using Tableaux and Automata for Pinpointing in EL.
- 14:30-15:15, Rajeev Gore: Tableau Versus Automata For Practical Reasoning
- 15:15-15:30, concluding discussion
Coffee break, 15.30-15.45
Session 4, 15:45-16:00
- 15:45-16:00, short business meeting and closure