Here you can find all informations about AlMoTh 2009.

AlMoTh 2009 Logo

Workshop on Algorithmic Model Theory


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.


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: