Atlas home || Conferences | Abstracts | about Atlas
Host: University of St Andrews
Homepage: http://www.uni-koblenz.de/ftp00/
Organizers: Peter Baumgartner, Hantao Zhang (Program Co-Chairs)
Deadline for abstracts: April 02, 2000
Description:
FTP'2000 is the third in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of
Automated Deduction, and to provide a forum for presentation of very recent work and discussion of research in progress.
The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, and modal logics, including nonexclusively: resolution, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to problems in verification, artificial intelligence, and mathematics.
Date received: September 27, 1999, revised January 20, 2000
© 2008 Atlas Conferences Inc.