AlMoTh 2007
Algorithmic Model Theory Meeting
Organisation
The Algorithmic Model Theory meeting will take place on February 20-21, 2007 in Aachen. The talks will be held in room 5056 (to the left of the entrance at Mies-van-der-Rohe-Straße, near lecture hall AH V).
You will have the possibility to access the internet via the RWTH's WLAN. The login information will be handed out with the programme on Tuesday.
Programme
| Tuesday: | |
| 14.00 – 14.30 | Wong Karianto: "Unranked Tree Automata with Sibling Equalities and Disequalities" |
| 14.30 – 15.00 | Henrik Björklund: "Bounded depth data trees" |
| 15.00 – 15.30 | Volker Weber: "Bounded-Variable Fragments of Hybrid Logics" |
| 15.30 – 16.15 | Coffee break |
| 16.15 – 16.45 | Michael Ummels: "Rational Behaviour and Strategy Construction in Infinite Multiplayer Games" |
| 16.45 – 17.15 | Stephan Kreutzer: "Locally Excluding a Minor" |
| Wednesday: | |
| 9.30 – 10.00 | Yijia Chen: "The Parameterized Complexity of Maximality and Minimality Problems" |
| 10.00 – 10.30 | Martin Grohe: "Model Theory Makes Formulas Large" |
| 10.30 – 11.00 | Coffee break |
| 11.00 – 11.30 | Alexander Rabinovich: "Long Games and the Church Synthesis Problem" |
| 11.30 – 12.00 | Łukasz Kaiser: "Presentations of Countable ω-automatic Structures" |
| 12.00 – 12.30 | Janos Makowsky: "Why is the chromatic polynomial a polynomial?" |
Participants
- Isolde Adler (Guest House)
- Jan Altenbernd
- Dietmar Berwanger
- Henrik Björklund
- Achim Blumensath (Guest House)
- Arnaud Carayol
- Yijia Chen (Baccara, 19.02.–22.02.)
- Jörg Flum (Guest House)
- Tobias Ganzow
- Erich Grädel
- Martin Grohe (Baccara)
- Magdalena Grüber (Guest House)
- Andre Hernich (Baccara)
- Łukasz Kaiser
- Wong Karianto
- Stephan Kreutzer (Guest House)
- María López-Valdéz (Guest House)
- Christof Löding
- Janos Makowsky
- Marcel Marquardt
- Wim Martens
- Sebastian Ordyniak (Guest House)
- Martin Otto
- Alexander Rabinovich
- Cordula Ritter (Baccara)
- Nicole Schweikardt (Baccara)
- Thomas Schwentick
- Alexandra Spelten
- Wolfgang Thomas
- Marc Thurley (Baccara)
- Michael Ummels
- Nico Wallmeier
- Volker Weber
- Thomas Wilke
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").
Contact
Erich Grädel, Tobias Ganzow