CLODEM'2010 workshop programme: July 15, 2010

09:00 - 10:00 Moshe Vardi: Symbolic Techniques in Propositional Satisfiability Solving

10:00 - 10:30 Coffee break

10:30 - 11:00 Oliver Friedmann and Markus Latte: Decision Procedures for CTL*

11:00 - 11:30 Rajeev Goré and Florian Widmann: An Experimental Comparison of Theorem Provers for CTL

11:30 - 12:30 Jerome Leroux: Presburger Automata

12:30 - 14:00 Lunch break

14:00 - 14:30 Aiswarya Cyriac: A New Version of Focus Games for LTL Satisfiability

14:30 - 15:00 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:00 Nikolay Shilov, Pavel Schreiner, Julia Grebeneva, Seunghwan O: SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics (pending confirmation)

16:00 - 17:00 Yevgeny Kazakov: Consequence-Based Reasoning for Description Logic Ontologies

Last updated: APRIL 30, 2010