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

View from Gurten near Berne

The FTP Workshop Series

Background

Call for Papers

Important Dates

Submission

Programme Committee

Accepted Contributions

Programme

Venue and Travel

Accommodation

Registration

Related Events

Important Dates

Full paper submission deadline: Monday, 2 May 2011
Notification of acceptance/rejection:    Monday, 30 May 2011
Final version due: Thursday, 9 June 2011
Workshop: Monday, 4 July 2011
Maintained by Ullrich Hustadt, U.Hustadt@csc.liv.ac.uk, last updated Thursday, 24-Feb-2011 15:02:00 GMT. © 2011 by Ullrich Hustadt.