FTP 2009 - International Workshop on
First-Order Theorem Proving
Oslo, Norway, July 6-7 2009
Oslo, Norway, July 6-7 2009
Call for papersFTP 2009 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): Previous editions of FTP took place in Schloss Hagenberg, Austria (1997); Vienna, Austria (1998); St Andrews, Scotland (2000); Valencia, Spain (2003); Koblenz, Germany (2005); and Liverpool, UK (2007). For more information about FTP, its scope and previous workshops, please see the FTP Workshop Series web page.Invited speakers:Paper SubmissionsAuthors are invited to submit papers in the following categories: Authors are encouraged to use LaTeX and the standard article class/style file (10pt or 11pt). The first page should contain the title, the authors' names, e-mail and postal addresses. Submissions should be made via Easychair at the following address: http://www.easychair.org/conferences/?conf=ftp2009PublicationAccepted submissions will be published as a technical report of the University of Oslo and will be distributed at the workshop. They will also be available on the web. As for the previous editions of FTP, a journal special issue is planned after the workshop. The submission will be open to papers on First-Order Theorem Proving.Important dates (extended)
| ||||||||
Program Chairs |
||||||||
Local organization | ||||||||
Programme Committee
|