Deduction

Organizer

W. Bibel, K. Furukawa, M. Stickel

For support, please contact

Dagstuhl Service Team

Documents

Dagstuhl-Seminar-Report 110

Dagstuhl Seminar Series

21371: "Integrated Deduction" (2021)
19371: "Deduction Beyond Satisfiability" (2019)
17371: "Deduction Beyond First-Order Logic" (2017)
15381: "Information from Deduction: Models and Proofs" (2015)
13411: "Deduction and Arithmetic" (2013)
09411: "Interaction versus Automation: The two Faces of Deduction" (2009)
07401: "Deduction and Decision Procedures" (2007)
05431: "Deduction and Applications" (2005)
03171: "Deduction and Infinite-state Model Checking" (2003)
01101: "Deduction" (2001)
99091: "Deduction" (1999)
9709: "Deduction" (1997)
9310: "Deduction" (1993)

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

Download overview leaflet (PDF).

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.