CLoDeM2010 Accepted Papers

An Experimental Comparison of  Theorem Provers for CTL
Decision Procedures for CTL*
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
A New Version of Focus Games for LTL Satisfiability