Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1 - Logik in der Informatik
AlMoTh 2009


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:

Joomla SEF URLs by Artio