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: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
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:30‑16:30 Invited talk
Location: AT 2.14
15:30 Yevgeny Kazhakov (Oxford University, UK)
Consequence-Based Reasoning for Description Logic Ontologies