The eighth workshop is organized as a virtual workshop from October 5-7, 2020. For each of the sessions, a zoom link is provided below. The passwords will be sent around via email.
Programme
1st day: Monday, 5th of October 2020
Session 1 – Chair: Frederik Dörband
(zoom: https://tu-dresden.zoom.us/j/85658796511)
13:00–13:45 Lena Schiffer: "Expressive Power of Combinatory Categorial Grammar"
13:45–14:30 Kevin Stier: "Approximated Determinisation of Weighted Tree Automata"
Session 2 – Chair: Kevin Stier
(zoom: https://tu-dresden.zoom.us/j/84520128966)
15:00–15:45 Filippo De Bortoli: "Practical Reasoning in Description Logics with Expressive Cardinality Constraints"
15:45–16:30 Simon Knäuer: "MSO ∩ Datalog"
16:45–17:45 PI Discussion
(zoom: https://tu-dresden.zoom.us/j/81364013811)
2nd day: Tuesday, 6th of October 2020
Session 3 – Chair: Gustav Grabolle
(zoom: https://tu-dresden.zoom.us/j/89065734568)
13:00–13:30 Simon Jantsch: "Minimal witnesses for probabilistic timed automata"
13:30–14:15 Jakob Piribauer: "Quantified propositional linear temporal logic (QLTL) in probabilistic systems"
Session 4 – Chair: Jakob Piribauer
(zoom: https://tu-dresden.zoom.us/j/86357888728)
15:00–15:30 Christian Alrabbaa: "Using Good Proofs to Explicate Description Logic Entailments"
15:30–16:00 Thomas Feller: "Sequentiality of Group-Weighted Tree Automata"
16:00–16:45 Willi Hieke: "An Update on Model Transformation in Description Logic ... and more"
17:00–18:00 PI Discussion
(zoom: https://tu-dresden.zoom.us/j/83523344946)
3rd day: Wednesday, 7th of October 2020
Session 5 – Chair: Willi Hieke
(zoom: https://tu-dresden.zoom.us/j/86974643886)
13:00–13:45 Frederic Dörband: "Weighted Automaton Models and Determinism"
13:45–14:30 Gustav Grabolle: "Weighted Lookahead Nested Automata"
Session 6 – Chair: Christian Alrabbaa
(zoom: https://tu-dresden.zoom.us/j/86180138171)
15:00–15:30 Florian Starke: "Ordering smooth digraphs via pp-constructions in polynomial time"
15:30–16:15 Jakub Rydval: "Algebraic characterisations of p-admissibility“
16:15–16:45 wrapup
17:00–18:00 PI Discussion
(zoom: https://tu-dresden.zoom.us/j/82481303501)
