25. CADE 2015: Berlin, Germany

Past, Present and Future of Automated Deduction

Invited Talks

Competition Descriptions

Rewriting

Decision Procedures

Interactive/Automated Theorem Proving and Applications

New Techniques for Automating and Sharing Proofs

Automating First-Order Logic

Combinations

Hybrid Sytems and Program Synthesis

Logics and Systems for Program Verification

Unification

SAT/SMT

maintained by Schloss Dagstuhl LZI at University of Trier