21. CADE 2007: Bremen, Germany

Session 1. Invited Talk: Colin Stirling

Session 2. Higher-Order Logic

Session 3. Description Logic

Session 4. Intuitionistic Logic

Session 5. Invited Talk: Ashish Tiwari

Session 6. Satisfiability Modulo Theories

Session 7. Induction, Rewriting, and Polymorphism

Session 8. First-Order Logic

Session 9. Invited Talk: K. Rustan M. Leino

Session 10. Model Checking and Verification

Session 11. Invited Talk: Peter Baumgartner

Session 12. Termination

Session 13. Tableaux and First-Order Systems

maintained by Schloss Dagstuhl LZI at University of Trier