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

Program of CLoDeM

Thursday, July 15th

Thursday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Invited talk
Location: AT 2.14
09:00 Moshe Vardi (Rice University, US)
Symbolic Techniques in Propositional Satisfiability Solving
10:00‑10:30 Coffee break
10:30‑11:30 Contributed talks
Location: AT 2.14
10:30 Oliver Friedmann and Markus Latte
Decision Procedures for CTL*
11:00 Rajeev Gore and Florian Widmann
An Experimental Comparison of Theorem Provers for CTL
11:30‑12:30 Invited talk
Location: AT 2.14
11:30 Jerome Leroux (Labri Bordeaux, France)
Presburger Automata
12:30‑14:00 Lunch
14:00‑15:00 Contributed talks
Location: AT 2.14
14:00 Aiswarya Cyriac
A New Version of Focus Games for LTL Satisfiability
14:30 Lukasz Kaiser and Tobias Ganzow
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
15:00‑15:30 Coffee break
15:30‑16:30 Invited talk
Location: AT 2.14
15:30 Yevgeny Kazhakov (Oxford University, UK)
Consequence-Based Reasoning for Description Logic Ontologies
16:30‑17:30 Discussion
Location: AT 2.14