FTP 2007 - International Workshop on First-Order Theorem Proving
Liverpool, UK, September 12-13 2007

Liverpool Waterfront at Night


FTP 2007 is the sixth 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 nonexclusively: 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.

Previous editions of FTP took place in Schloss Hagenberg, Austria (1997); Vienna, Austria (1998); St Andrews, Scotland (2000); Valencia, Spain (2003); and Koblenz, Germany (2005). For more information about FTP, its scope and previous workshops, please, see the FTP Workshop Series web page.

Important Dates

Full paper submission deadline: June 29, 2007
Notification of acceptance/rejection:    July 23, 2007
Final version due: August 3, 2007
Workshop: September 12-13, 2007

Invited Speakers

Bernd Fischer (Southampton, England, UK)
Martin Giese (Linz, Austria)
Viorica Sofronie-Stokkermans   (Saarbrücken, Germany) [joint with FroCos]

Additional Information

For information regarding the venue, registration, and travel and accommodation follow the links. If you have any additional questions, please contact the local organisation chair, U. Hustadt (Liverpool, England, UK).

Related Events

FTP 2007 will be collocated with FroCoS'07 (6th International Symposium on Frontiers of Combining Systems) which will take place prior to FTP 2007.