FTP 2011 - International Workshop on First-Order Theorem Proving
Bern, Switzerland, July 4, 2011

View from Gurten near Berne

The FTP Workshop Series


Call for Papers

Important Dates


Programme Committee

Accepted Contributions


Venue and Travel



Related Events


There are two options for participation at FTP: in combination with Tableaux 2011, or FTP-only.

Combination with Tableaux 2011

Participation at FTP is covered by the Tableaux conference fee. Early registration for Tableaux closes on 4th June! Since the registration system does not record information about FTP participation, please send an informal mail to the FTP PC chair to indicate that you will attend FTP.

For further information on the Tableaux 2011 conference fee see the Tableaux 2011 Registration Information page. To register for Tableaux 2011, please proceed to http://www.kas.unibe.ch/tableaux2011.


A fee of 25 CHF will be payable on-site to cover lunch and coffee breaks. This fee will be waived for speakers presenting a paper at FTP (but not attending Tableaux). Please send an informal mail to the FTP PC chair to indicate that you will attend FTP.

Workshop Dinner

There will be a workshop dinner at a restaurant on the evening of Monday, 4. July. For the sake of simplicity, participants are asked to pay for their dinner at the restaurant. Organising payment of the dinner via workshop the workshop/conference fee would have required an inordinate extra effort, in particular to keep track of V.A.T. regulations.