News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

6-7 July 2009, FTP 2009 - International Workshop on First-Order Theorem Proving, Oslo, Norway

Date: 6-7 July 2009
Location: Oslo, Norway

FTP 2009 is the seventh 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 recent work and discussion of research in progress.

The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): resolution, tableau methods, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, description logics, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to verification, artificial intelligence, mathematics and education.

For more information, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/.

Please note that this newsitem has been archived, and may contain outdated information or links.