Here you can find all informations about AlMoTh 2009.


AlMoTh 2009 Logo

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: