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

The FTP Workshop Series

Overview

Call for Papers

Important dates

Submission

Organization
Programme Committee

Call for Participation

Accepted Papers

Program
- including abstracts

Venue

Facilities

Travel and
Accommodation

Registration

Related Events
- TABLEAUX'09

Important Dates (preliminary)

Full paper submission deadline: 20 April 2009
Notification of acceptance/rejection:    27 May 2009
Final version due: 10 June 2009
Workshop: July 6-7, 2009
Maintained by Viorica Sofronie-Stokkermans, sofronie@mpi-inf.mpg.de, last updated Monday, 28-Nov-2008 11:31:31 BST. &