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.
|11:00-12:00||First-order Transition Systems: How to Decide Safety of Parametric Systems||Helmut Seidl|
|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|
|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||---|