CLODEM'2010 WORKSHOP INVITED SPEAKERS:

• Moshe Vardi, Rice University: Symbolic Techniques in Propositional Satisfiability Solving

• Jerome Leroux, LaBRI-CNRS: Presburger Automata (joint work with Gérald Point).

• Yevgeny Kazakov, University of Oxford: Consequence-Based Reasoning for Description Logic Ontologies