AlMoTh 2019
Algorithmic Model Theory Meeting 2019
Organisation
The AlMoTh 2019 meeting will take place in Aachen, on Monday/Tuesday 18th and 19th March.
Location: b-it seminar room (5053. 1/2), located in the building "Erweiterungsbau E2" of the Informatikzentrum (see below for information on how to get there).
Dinner takes place in Restaurant Macaroni, Schmiedstraße 24, 52062 Aachen, at 19.30.
Late registrations are possible: please send an email to almoth2019 [AT] logic.rwth-aachen.de.
We have been able to reserve a very limited number of rooms in the guest house of the university, which can be booked on a first-come-first-served basis. Otherwise you need to book accommodation yourself.
Programme
| Monday: | ||
| 12.30 – 13.30 | Welcome Soup | |
| 13.30 – 14.05 | Christopher Spinrath: | "Parallel-Correctness for Datalog Programs" |
| 14.05 – 14.40 | Peter Lindner: | "Infinite probabilistic databases" |
| 14.40 – 15.15 | Katrin Dannert: | "Provenance for Guarded Logics" |
| 15.15 – 15.45 | Coffee break | |
| 15.45 – 16.20 | Nils Vortmeier: | "Reachability under more changes" |
| 16.20 – 16.55 | Markus Schmid: | "Regular Expressions with Backreferences: Polynomial-Time Matching Techniques" |
| 16.55 – 17.30 | Richard Wilke: | "Logics with Multiteam Semantics" |
| 17.30 – 18.05 | Jakub Ledl: | "Algebras for ranked forests" |
| 19.30 | Dinner: | Restaurant Macaroni, Schmiedstraße 24, 52062 Aachen |
| Tuesday: | ||
| 9.00 – 9.35 | Dietrich Kuske: | "Languages ordered by the subword order" |
| 9.35 – 10.10 | Daniel Neuen: | "Canonisation and Definability for Graphs of Bounded Rank Width" |
| 10.10 – 10.45 | Sandra Kiefer: | "A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus" |
| 10.45 – 11.15 | Coffee break | |
| 11.15 – 11.50 | Matthias Niewerth: | "Enumeration on Trees with Tractable Combined Complexity and Efficient Updates" |
| 11.50 – 12.25 | Steffen van Bergerem: | "Learning Concepts Definable in First-Order Logic with Counting" |
| 12.25 – 13.00 | Martin Grohe: | "Weisfeiler and Leman go Neural" |
Participants
- Erich Grädel
- Martin Grohe
- Matthias Hoelzel
- Benedikt Pago
- Katrin Dannert
- Richard Wilke
- Jakub Ledl
- Bjarki Benediktsson
- Noleen Köhler
- Ioannis Kokkinis (Guest House)
- Thomas Schwentick (Guest House)
- Kord Eickmeyer (Guest House)
- Felix Canavoi (Guest House)
- Yijia Chen (Guest House)
- Dietmar Berwanger (Guest House)
- Christoph Berkholz
- Dietrich Kuske
- Christopher Spinrath
- Peter Lindner
- Nils Vortmeier
- Daniel Neuen
- Sandra Kiefer
- Markus Schmid
- Matthias Niewerth
- Steffen van Bergerem
- Gaetano Geck
- Daniel Wiebking
Local information
Following these links you can get information about how to reach us on our contact page. If you take a train via Düsseldorf and Mönchengladbach, you can also leave the train at "Aachen West" (prior to "Aachen Hauptbahnhof") and either walk from there (about 15 minutes) or take the bus (line 33) to "Halifaxstraße" (direction "Vaals (NL), Uniklinik").
Mailing List
Please subscribe to the las-almoth mailing list.Contact
Erich Grädel