[FOM] FTP 2009: Deadline extension

Viorica Sofronie-Stokkermans sofronie at mpi-sb.mpg.de
Tue Apr 28 17:05:43 EDT 2009

                 CALL FOR PAPERS: Deadline extension
                           FTP 2009
        International Workshop on First-Order Theorem Proving
                    Oslo, Norway, July 6-7 2009

For complete information see  http://www.mpi-inf.mpg.de/~sofronie/ftp09/

The submission deadline for FTP 2009 was extended to May 4, 2009, 24:00 GMT.

Important dates
Full paper submission deadline:                  4 May 2009 (24:00 GMT)
Notification of acceptance/rejection:            2 June 2009
Final version due:                              11 June 2009
Workshop:                                       6-7 July 2009

Topics of interest
The workshop welcomes original contributions on theorem proving in first
order classical and non-classical logics including (but not restricted to):

* theorem proving in first-order classical and non-classical logics,
   including: satisfiability in propositional logic; satisfiability modulo
   theories, decision procedures, constraint reasoning, equational
   reasoning, term rewriting, resolution, paramodulation, superposition;
* strategies and complexity of theorem proving procedures;
* implementation techniques
* applications of first-order theorem provers to: program verification,
   model checking, artificial intelligence, mathematics, computational

Paper Submissions
Authors are invited to submit papers in the following categories:

   * Extended abstracts of up to 15 pages describing original results.
   * Position papers of up to 10 pages describing work in progress,
     or future directions of research.
   * System descriptions of up to 10 pages, describing new systems or
     significant upgrades of existing ones, especially including experiments;
     sources and manuals of systems will have to be freely available online.
   * Presentation-only papers, describing work recently published or
     submitted (no page limit). These will not be included in the
     proceedings, but pre-prints or post-prints can be made available to
     participants. We see this as a way to provide additional access to
     important developments that FTP Workshop attendees may be unaware of.

Authors are encouraged to use LaTeX and the standard lncs article
class/style file. The first page should contain the title, the authors'
names, e-mail and postal addresses. Submissions should be made via
Easychair at: http://www.easychair.org/conferences/?conf=ftp2009

Accepted 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.

More information about the FOM mailing list