| | |
Summary: CADE-21
The 21st Conference on Automated Deduction
Workshop on Disproving -
Non-Theorems, Non-Validity,
Non-Provability
(DISPROVING'07)
Editors:
Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle
Bremen, Germany, July 16th 2007
CADE-21 Organization:
Conference Chair: Michael Kohlhase (Jacobs University Bremen)
Program Chair: Frank Pfenning (Carnegie Mellon University)
Workshop Chair: Christoph Benzm¨uller (University of Cambridge)
Local Organization: Event4 Event Management
Preface
The Disproving Workshop was held at the 21st International Conference on Automated
Deduction, in Bremen, Germany. The name automated theorem proving or automated
deduction derives from the fact that the field traditionally focused on the art of auto-
matically finding proofs. Initially, researchers were mainly motivated by the wish to
build computer systems that could automatically solve hard, mathematical problems.
|
