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

Rewriting

maintained by Schloss Dagstuhl LZI, founded at University of Trier