8. IJCAR (CADE, FroCoS, TABLEAUX) 2016: Coimbra, Portugal

Invited Talks

Satisfiability of Boolean Formulas

Satisfiability Modulo Theory

Rewriting

Arithmetic Reasoning and Mechanizing Mathematics

First-Order Logic and Proof Theory

First-Order Theorem Proving

Higher-Order Theorem Proving

Modal and Temporal Logics

Non-classical Logics

Verification

maintained by Schloss Dagstuhl LZI at University of Trier