The AlMoTh 2010 meeting will take place at Goethe-Universität Frankfurt am Main on February 25 and February 26, 2010. The talks will be held in the MAGNUS lecture hall, Robert-Mayer-Str. 11-15.

Directions can be found here, and a helpful map can be found with OpenStreetMap. In addition, it is useful to know the website of the local transport company "RMV".

Guests are welcome!

Leaflet

Schedule

Thursday

• 13:00-14:00    Lunch (we meet in room SR 11, ground floor)
• 13:30-14:00    Coffee (in room SR 11)
• 14:00-14:30    Martin Lange, Extended Computation Tree Logic
• 14:30-15:00    Tony Tan, Graph Reachability and Pebble Automata over Infinite Alphabets
• 15:00-15:30    Martin Zimmermann, Parametric LTL Games
• 15:30-16:00    Coffee Break
• 16:00-16:30    Yijia Chen, On Optimal Proof Systems and Logics for PTIME
• 16:30-17:00    Bastian Laubner, Capturing Polynomial Time on Interval Graphs
• 17:00-17:30    Coffee Break
• 17:30-18:00    Siamak Tazari, Lower Bounds for the Complexity of Monadic Second Order Logic
• 18:00-18:30    Tobias Ganzow, A new Algorithm for Checking WMSO on Regular Structures
• 20:30    Dinner

Friday

•   8:30-  9:00    Coffee (in room SR 11)
•   9:00-  9:30    Dietrich Kuske, The Isomorphism Problem for Automatic Structures
•   9:30-10:00    Alexander Kartzow, Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
• 10:00-10:15    Short Coffee Break
• 10:15-10:45    Stefan Schulz, Decision Problems for FO-Logic with Reachability
• 10:45-11:15    Nicole Schweikardt, Addition-Invariant FO and Regularity
• 11:15-11:45    Kord Eickmeyer, Randomisation and Derandomisation in Descriptive Complexity Theory
• 11:45-12:00    Short Coffee Break
• 12:00-12:30    Martin Otto, Acyclicity in Hypergraph Covers
• 12:30-13:00    Vince Barany, Querying the Guarded Fragment

Accomodation

We arranged special rates for AlMoTh 2010 participants in the following hotels:

• Art-Hotel, Robert-Mayer-Str. 44,
  distance between hotel and AlMoTh: 400 meters (approx. 5 minutes walking distance to AlMoTh),
  click here for a map.

• Hotel Breesen, Varrentrappstr. 73
  distance between hotel and AlMoTh: 200 meters (approx. 2 minutes walking distance to AlMoTh),
  click here for a map.

• Hotel Falk, Falkstr. 38A,
  distance between hotel and AlMoTh: 900 meters (approx. 10 minutes walking distance to AlMoTh),
  click here for a map.

• Hotel Ibis Frankfurt City Messe, Leonardo-da-Vinci-Allee 40,
  distance between hotel and AlMoTh: 2.3 km (approx. 30 minutes walking distance to AlMoTh; or 15 minutes by tram),
  click here for a map, and click here for details on local transportation (to get from Robert-Mayer-Str 11-15 to the hotel, you may walk to the Tram stop "Varrentrappstraße" and take Tram 17 to "Leonardo-da-Vinci-Allee").

If you would like to book a room in one of these hotels, please write an email to Isolde Adler .

1. your name and full address,
2. the hotel in which you would like to stay,
3. the dates of your arrival and departure.

List of participants

• Hans Adler, Wien
• Isolde Adler, Frankfurt
• Vince Barany, Oxford
• Christoph Berkholz, Berlin
• Achim Blumensath, Darmstadt
• André Böhm, Frankfurt
• Yijia Chen, Shanghai
• Holger Dell, Berlin
• Kord Eickmeyer, Berlin
• Ingo Felscher, Aachen
• Johannes Fichte, Berlin
• Diana Fischer, Aachen
• Dominik Freydenberger, Frankfurt
• Wladimir Fridman, Aachen
• Tobias Ganzow, Aachen
• Erich Grädel, Aachen
• Berit Grußien, Berlin
• Frederik Harwath, Frankfurt
• Lucas Heimberg, Berlin
• André Hernich, Frankfurt
• Lukasz Kaiser, Aachen
• Ahmet Kara, Dortmund
• Alexander Kartzow, Darmstadt
• Daniel Kirsten, Berlin
• Philipp Krause, Frankfurt
• Dietrich Kuske, Bordeaux
• Martin Lange, München
• Bastian Laubner, Berlin
• Markus Lohrey, Leipzig
• Christoph Löding, Aachen
• Johann Makowsky, Haifa
• Wim Martens, Dortmund
• Moritz Müller, Barcelona
• Matthias Niewerth, Dortmund
• Martin Otto, Darmstadt
• Roman Rabinovich, Aachen
• Frank Radmacher, Aachen
• Manfred Schmidt-Schauß, Frankfurt
• Stefan Schulz, Aachen
• Nicole Schweikardt, Frankfurt
• Thomas Schwentick, Dortmund
• Luc Segoufin, Cachan
• Michaela Slaats, Aachen
• Tony Tan, Edinburgh
• Siamak Tazari, Berlin
• Wolfgang Thomas, Aachen
• Karianto Wong, Aachen
• Mariano Zelke, Frankfurt
• Thomas Zeume, Dortmund
• Martin Ziegler, Darmstadt
• Martin Zimmermann, Aachen

Past workshops   (AlMoTh / AFM-Seminar / AF-Seminar)