Go to: VenueProgramRegistration

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.


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.


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  ---


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.