License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-24213
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2421/
Go to the corresponding Portal


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

09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions

pdf-format:
Document 1.pdf (78 KB)


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.

BibTeX - Entry

@InProceedings{ball_et_al:DSP:2010:2421,
  author =	{Thomas Ball and J{\"u}rgen Giesl and Reiner H{\"a}hnle and Tobias Nipkow},
  title =	{09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions},
  booktitle =	{Interaction versus Automation: The two Faces of Deduction},
  year =	{2010},
  editor =	{Thomas Ball and J{\"u}rgen Giesl and Reiner H{\"a}hnle and Tobias Nipkow},
  number =	{09411},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2421},
  annote =	{Keywords: Formal Logic, Deduction, Artificial Intelligence}
}

Keywords: Formal Logic, Deduction, Artificial Intelligence
Seminar: 09411 - Interaction versus Automation: The two Faces of Deduction
Issue Date: 2010
Date of publication: 09.03.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI