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

Invited Talks

Satisfiability of Boolean Formulas

Satisfiability Modulo Theory


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


maintained by Schloss Dagstuhl LZI, founded at University of Trier