Executive Summary

Thomas Ball; Jürgen Giesl; Reiner Hähnle; Tobias Nipkow

Executive Summary

Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow

Informatics 7 - Chair of Theoretical Computer Science

Research output: Contribution to journal › Conference article › peer-review

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.

Original language	English
Journal	Dagstuhl Seminar Proceedings
Volume	9411
State	Published - 2010
Event	Interaction Versus Automation: The Two Faces of Deduction 2009 - Wadern, Germany Duration: 4 Oct 2009 → 9 Oct 2009

Keywords

Artificial Intelligence
Deduction
Formal Logic

Cite this

@article{6c385ba6fecd43f7a2d7e4673c989760,

title = "Executive Summary",

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.",

keywords = "Artificial Intelligence, Deduction, Formal Logic",

author = "Thomas Ball and J{\"u}rgen Giesl and Reiner H{\"a}hnle and Tobias Nipkow",

note = "Publisher Copyright: {\textcopyright} 2010 Dagstuhl Seminar Proceedings. All Rights Reserved.; Interaction Versus Automation: The Two Faces of Deduction 2009 ; Conference date: 04-10-2009 Through 09-10-2009",

year = "2010",

language = "English",

volume = "9411",

journal = "Dagstuhl Seminar Proceedings",

issn = "1862-4405",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

}

TY - JOUR

T1 - Executive Summary

AU - Ball, Thomas

AU - Giesl, Jürgen

AU - Hähnle, Reiner

AU - Nipkow, Tobias

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - Artificial Intelligence

KW - Deduction

KW - Formal Logic

UR - http://www.scopus.com/inward/record.url?scp=85174545578&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85174545578

SN - 1862-4405

VL - 9411

JO - Dagstuhl Seminar Proceedings

JF - Dagstuhl Seminar Proceedings

T2 - Interaction Versus Automation: The Two Faces of Deduction 2009

Y2 - 4 October 2009 through 9 October 2009

ER -

Executive Summary

Abstract

Keywords

Other files and links

Fingerprint

Cite this