Dagstuhl Seminar Proceedings, Volume 9411,

• Thomas Ball, Jürgen Giesl, Reiner Hähnle, and Tobias Nipkow 09411 Abstracts Collection – Interaction versus Automation: The two Faces of Deduction 10.4230/DagSemProc.09411.1
• Thomas Ball, Jürgen Giesl, Reiner Hähnle, and Tobias Nipkow 09411 Executive Summary – Interaction versus Automation: The two Faces of Deductions 10.4230/DagSemProc.09411.2
• Viorica Sofronie-Stokkermans Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms 10.4230/DagSemProc.09411.3
• Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, and Peter Schneider-Kamp Inductive Theorem Proving meets Dependency Pairs 10.4230/DagSemProc.09411.4
• Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, and Stephan Falke Termination of Integer Term Rewriting 10.4230/DagSemProc.09411.5