FTP 2007 - International Workshop on First-Order Theorem Proving
(September 12-13, 2007, Liverpool, United Kingdom)

Liverpool Waterfront at Night

Call for Participation

The Sixth International Workshop on First-Order Theorem Proving will take place at the University of Liverpool, UK, on September 12-13, 2007, co-locating with the Sixth International Symposium on Frontiers of Combining Systems on September 10-12, 2007.


A list of accepted papers and a preliminary workshop program which includes three invited talks and thirteen research presentations can be found at


Invited Talks

  • Bernd Fischer (Southampton, England, UK):
    "Applying First-Order Theorem Provers in Formal Software Safety Certification"
  • Martin Giese (Linz, Austria):
    "Aspects of First-order Reasoning in the KeY system"
  • Viorica Sofronie-Stokkermans (MPI Informatik, Saarbrücken, Germany) [joint with FroCos]:
    "Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extension"

Student Grants

A limited number of student participation grants is available on a first come first served basis which allows us to waive the workshop registration fee for those students. (A proof of student status will be requested if necessary.)

Important dates (New)

Early registration deadline:August 10, 2007
Recommended hotel reservations:  August 17, 2007
Workshop: September 12-13, 2007

Further Information

For additional information please consult the following web pages:
  • Overview of FTP 2007
  • Registration
  • Travel and Accommodation   
  • Venue

Related Events

FTP 2007 will be collocated with FroCoS'07 (6th International Symposium on Frontiers of Combining Systems)


Programme Chair:Silvio Ranise, LORIA and INRIA-Lorraine, France
Local Organisation Chair:Ullrich Hustadt, University of Liverpool, UK