ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

CLoDeM2010 Accepted Papers

Rajeev Gore and Florian Widmann
An Experimental Comparison of  Theorem Provers for CTL
Oliver Friedmann and Markus Latte
Decision Procedures for CTL*
Lukasz Kaiser and Tobias Ganzow
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
Aiswarya Cyriac
A New Version of Focus Games for LTL Satisfiability