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

FTP will be held in the University Library Building, Undervisningsrom 1 on the 3rd floor.

See here for a map of the campus
and the way from Blindern station to the University Library Building.


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.

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

Important Dates (extended)

Full paper submission deadline: 4 May 2009 (24:00 GMT)
Notification of acceptance/rejection:    2 June 2009
Final version due: 11 June 2009
Workshop: 6-7 July 2009

Invited Speakers

Silvio Ghilardi (Universita degli Studi di Milano, Italy)
Peter Jeavons   (Oxford University Computing Laboratory, UK) [joint with TABLEAUX'09]

Additional Information

For information regarding the venue, registration, and travel and accommodation follow the links. If you have any additional questions on venue. registration, travel or accomodation please contact Roger Antonsen (Oslo University, local organization).

Related Events

FTP 2009 will be collocated with TABLEAUX'09 (The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) which will take place in Oslo, July 6-10.


We have been granted generous financial support from the following organisations: