AlMoTh 2006

Algorithmic Model Theory Meeting

Organisation

The Algorithmic Model Theory meeting will take place on February 20-21, 2006 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).

Programme

Monday:
14.00 – 14.30 Christof Löding: "MSO-to-FO Interpretations"
14.30 – 15.00 Martin Otto: "The Boundedness Problem for Universal FO"
15.00 – 15.30 Stephan Kreutzer: "DAG-Width and Parity Games"
15.30 – 16.15 Pause
16.15 – 16.45 Magdalena Grueber: "On Parameterized Approximability"
16.45 – 17.15 Moritz Müller: "Approximation of parameterized counting problems"
17.15 – 17.45 Thomas Schwentick: "Unäre, positive TC-Logik auf Bäumen"
Tuesday:
9.30 – 10.00 Volker Weber: "Complexity of Hybrid Logics over Transitive Frames"
10.00 – 10.30 Andre Hernich: "Randomized Computations on Large Data Sets: Tight Lower Bounds"
10.30 – 11.00 Pause
11.00 – 11.30 Martin Lange: "A simple proof of the exponential succinctness gap between CTL+ and CTL"
11.30 – 12.00 Lukasz Kaiser: "Game Quantification on Automatic Structures"
12.00 – 12.30 Philipp Rohde: "On a mu-Calculus with Sabotage"

Participants

  1. Jan Altenbernd
  2. Vince Bárány
  3. Dietmar Berwanger
  4. Henrik Bjoerklund (GH)
  5. Achim Blumensath (Baccara)
  6. Matko Botincan
  7. Yijia Chen (Baccara)
  8. Giovanni Conforti (GH)
  9. Jörg Flum (Baccara)
  10. Tobias Ganzow
  11. Erich Grädel
  12. Magdalena Grüber (Baccara)
  13. Andre Hernich (GH)
  14. Paul Hunter (GH, 2 nights)
  15. Lukasz Kaiser
  16. Wong Karianto
  17. Mikhail Kats
  18. Stephan Kreutzer (Baccara)
  19. Martin Lange
  20. Christof Löding
  21. Daniel Marx (GH)
  22. Moritz Müller (Baccara)
  23. Martin Otto
  24. Philipp Rohde
  25. Götz Schwandtner (Baccara)
  26. Nicole Schweikardt (Baccara)
  27. Thomas Schwentick (GH)
  28. Wolfgang Thomas
  29. Marc Thurley (GH)
  30. Nico Wallmeier
  31. Volker Weber (GH)
  32. Mark Weyer (GH)
  33. 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").

Rückfragen

Erich Grädel, Tobias Ganzow