DagSemProc.09411.2.pdf
- Filesize: 77 kB
- 4 pages
Document
09411 Executive Summary – Interaction versus Automation: The two Faces of Deductions
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9411
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-03-09
Cite As Get BibTex
Thomas Ball, Jürgen Giesl, Reiner Hähnle, and Tobias Nipkow. 09411 Executive Summary – Interaction versus Automation: The two Faces of Deductions. In Interaction versus Automation: The two Faces of Deduction. Dagstuhl Seminar Proceedings, Volume 9411, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/DagSemProc.09411.2
Abstract
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.
Subject Classification
Keywords
- Formal Logic
- Deduction
- Artificial Intelligence
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads