Hosted By
January 29-30, 2025 Vienna
Location: Seminarraum Argentinierstrasse in Argentinierstrasse 8 (Google Maps)
9:30 AM — Session 1
Welcome
Pablo Barceló: The Role of Logic in Advancing Machine Learning: Three Case Studies (slides)
11:00 AM — Coffee Break
11:30 AM — Session 2
Leonid Libkin: Things we recently learned about new graph languages (slides)
Wim Martens: Programming in the Large with Data (slides)
13:00 AM — Lunch Break
14:00 AM — Session 3
Floris Geerts: Query Evaluation with Neural Access Patterns
Timo Camillo Merkl: Partition Constraints for Conjunctive Queries: Bounds and Worst-Case Optimal Joins
15:30 AM — Coffee Break
16:00 AM — Session 4
Andreas Pieris: Explaining Answers to Datalog Queries
Emanuel Sallinger: The Neuro-symbolic Chase: From LLMs to Knowledge Graph Embeddings
Location: FAV HS 3 Zemanek in Favoritenstrasse 9 (Google Maps)
9:30 AM — Session 5
Filip Murlak: Bridging the gap between static analysis and ontology-based reasoning (slides)
Sanja Lukumbuzya: On the Complexity and Expressiveness of Ontology-Mediated Queries with Closed Predicates: Capturing coNP
11:00 AM — Coffee Break
11:30 AM — Session 6
Przemek Wałęga: Temporal Graph Neural Networks and Their Expressiveness (slides)
Matthias Lanzinger: Graph Motif Parameters for Complexity, Expressivity and Representation (slides)
13:00 AM — Lunch Break
14:00 AM — Session 7
Independent break-out sessions.
15:30 AM — Coffee Break
16:00 AM — Session 8
Reinhard Pichler: Avoiding Materialisation for Guarded Aggregate Queries (slides)
The workshop will be held at TU Wien. The two days are held in different buildings (see the links in the schedule). Both are in the same area and easily accessible by public transportation. In particular, both are a short walk away from the U-Bahn Stations Karlsplatz and Taubstummengasse.
The dinner on Wednesday will take start 8PM at 10er Marie (google maps). If you did not yet RSVP but would like to join please get in touch with one of the organisers.
Email: Loading...
Email: Loading...
