Go to: Venue — Program — Registration
The tenth and final edition of the QuantLA workshop is a celebration of the decennial research training group. It will feature invited talks from Helmut Seidl and Carsten Lutz, invited contributions from former members Erik Paul, Oliver Fernández Gil, Daniel Gburek, and an overview of the program from PI Franz Baader.
Venue
The workshop will take place at the Institute for Computer Science of the University of Leipzig, in the Felix-Klein-Hörsaal (room P501). The full address of the institute, as well as its location, can be found at the following link.
Program
The workshop is held on Tuesday, June 28, 2022. It begins at 11:00 and ends at 17:30 (local time). The full program of the day is detailed in the table below.
| Time | Topic | Speaker |
| 11:00-12:00 | First-order Transition Systems: How to Decide Safety of Parametric Systems | Helmut Seidl |
| 12:00-13:00 | Lunch break | --- |
| 13:00-13:10 | Greetings by the Dean of the Faculty of Mathematics and Computer Science |
Prof. Dr. Martin Middendorf |
| 13:10-13:40 | QuantLA overview | Franz Baader |
| 13:40-14:10 | Trees, Logics, and Automata | Erik Paul |
| 14:10-14:40 | Reasoning and Approximation in the Description Logic FL0 using Tree Automata | Oliver Fernández Gil |
| 14:40-15:10 | Coffee break | --- |
| 15:10-15:40 | QuantLA - Quantitative Impact on Personal and Professional Career | Daniel Gburek |
| 15:40-16:40 | Enumerating Answers to Ontology-Mediated Queries | Carsten Lutz |
| 16:40-17:40 | Informal get together | --- |
Registration
If you want to participate, please inform Kerstin Achtruth (This email address is being protected from spambots. You need JavaScript enabled to view it.) by June 7 June 10, 2022, stating your intention to take part in this event.