09411 Executive Summary – Interaction versus Automation: The two Faces of Deductions
Thomas J. Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010
This seminar was the ninth in the series of the Dagstuhl "Deduction" seminars held biennially since 1993. Its goal was to bring together the closely related but unnecessarily disjoint communities of researchers working in interactive and automatic program verification.