Workshop on Algorithmic Model Theory
Date:
The AlMoTh meeting will take place at the technische Universität Dortmund on February 16/17, 2009 in lecture hall E23, Otto-Hahn-Straße 14. Directions can be found here. Guests are welcome.
Schedule:
Monday, 16
- 14:00-15:00
- Alexander Kartzow, First-Order Theories of Nested Pushdown Trees are decidable
- Volker Weber, Branching-Time Logics Repeatedly Referring to States
- 15:30-17:00
- Jörg Flum, A logic for PTIME and a parameterized halting problem
- Yijia Chen, On the Complexity of Goedel´s Proof Predicate
- Stephan Kreutzer, On the fixed-parameter intractability of monadic second-order logic
- 17:30-18:30
- Michael Ummels, The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
- Oliver Friedmann, Discrete Strategy Improvement For Solving Parity Games Requires Super-Polynomial Time
- Afterwards: Dinner at Mamma Mia
Tuesday, 17
- 9:00-10:00
- Luc Segoufin, Separating unary TC-Logic and MSO on trees
- 10:15-11:45
- Janos Makowsky, Connection Matrices of Numeric Structural Invariants
- Bastian Laubner, Expressivness of Rank Operators
- Marcel Marquardt, Dynamic Complexity of Formal Languages
- 12:00-13:00
- Achim Blumensath, Boundedness of monadic second-order formulae over finite words
- Marc Thurley, SAT Solvers and Width-Bounded Resolution
- Afterwards: joint lunch at Restaurant Calla
List of Participants:
- Vince Barany, Oxford (NH Hotel)
- Dietmar Berwanger, Cachan, France (NH Hotel)
- Henrik Björklund, Dortmund
- Achim Blumensath, Darmstadt (Kolpinghaus)
- Yijia Chen, Shanghai (Kolpinghaus)
- Holger Dell, Berlin (Kolpinghaus)
- Ingo Felscher, Aachen
- Johannes Fichte, Berlin
- Diana Fischer, Aachen (Kolpinghaus)
- Jörg Flum, Freiburg (Mercure Hotel)
- Oliver Friedmann, München (NH Hotel)
- Tobias Ganzow, Aachen (Kolpinghaus)
- Erich Grädel, Aachen (Mercure Hotel)
- Martin Grohe, Berlin (Mercure Hotel)
- Magdalena Grüber, Berlin (Kolpinghaus)
- André Hernich, Frankfurt (Kolpinghaus)
- Lukasz Kaiser, Aachen (Kolpinghaus)
- Mamadou Moustapha Kanté, Talance Cedex, France (NH Hotel)
- Ahmet Kara, Dortmund
- Wong Karianto, Aachen (Kolpinghaus)
- Alexander Kartzow, Darmstadt (Kolpinghaus)
- Stephan Kreutzer, Oxford (Mercure Hotel)
- Dietrich Kuske, Leipzig
- Martin Lange, München (Mercure Hotel)
- Bastian Laubner, Berlin (Kolpinghaus)
- Björn Lellmann, Freiburg (NH Hotel)
- Christof Löding, Aachen (Mercure Hotel)
- Janos Makowsky, Haifa, Israel (NH Hotel)
- Marcel Marquardt, Dortmund
- Wim Martens, Dortmund
- Moritz Müller, Freiburg (Mercure Hotel)
- Jörg Olschewski, Aachen (NH Hotel)
- Martin Otto, Darmstadt (Kolpinghaus)
- Bernd Puchala, Aachen (Kolpinghaus)
- Roman Rabinovich, Aachen (Kolpinghaus)
- Frank Radmacher, Aachen (Kolpinghaus)
- Nicole Schweikardt, Frankfurt am Main (Mercure Hotel)
- Thomas Schwentick, Dortmund
- Luc Segoufin, Orsay Cedex, France (Steigenberger Hotel)
- Michaela Slaats, Aachen (Mercure Hotel)
- Alex Spelten, Aachen (NH Hotel)
- Siamak Tazari, Berlin (Kolpinghaus)
- Wolfgang Thomas, Aachen (Mercure Hotel)
- Marc Thurley, Berlin (Kolpinghaus)
- Michael Ummels, Aachen (Kolpinghaus)
- Volker Weber, Dortmund
- Thomas Wilke, Kiel
|
