Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The 21st Conference on Automated Deduction Workshop on Disproving -
 

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.

  

Source: Ahrendt, Wolfgang - Department of Computer Science and Engineering, Chalmers University of Technology

 

Collections: Computer Technologies and Information Sciences