Location: University Library Building, Undervisningsrom 2 (room 3512)
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, abstract
- 10:15-10:45, Natthapong Jungteerapanich: A Tableau System and the Small Model Theorem for the Pi_2-Fragment of the Modal mu-Calculus, abstract
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, abstract
- 12:00-12:30, Jan Hladik: Tableaux and Automata for Description Logics, abstract
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, abstract
- 14:30-15:15, Rajeev Gore: Tableau Versus Automata For Practical Reasoning, abstract
- 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