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

Liverpool Waterfront at Night


Early registration deadline is Friday, 10 August 2007.

Early registration
(by 10 August)
Late registration
(from 11 August)
FTP 2007 full rate £105 £155
FTP 2007 student rate £85 £125

All prices are in British pounds. 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.) Please contact U. Hustadt for further details.

To register, please complete this registration form, and return it to us by post or FAX as described in the form. Notice that there is a discount for a joint FTP-FroCoS registration.

The registration fee covers

  1. Participation in the workshop
  2. Workshop proceedings
  3. Refreshments and lunch on both days
  4. Workshop dinner (Wednesday, September 12)