9. FroCos 2013: Nancy, France

Invited Talk 1

Inductive Theorem Proving

Arrays and Memory Access Optimization

Approximation and Forgetting

Invited Talk 2

Temporal and Description Logic Techniques

Invited Talk 3

Theorem Proving with Theories and Sorts

Invited Talk 4

Modal Logic and Description Logic


a service of Schloss Dagstuhl - Leibniz Center for Informatics