[DL] FTP 2009: Deadline extension

Viorica Sofronie-Stokkermans sofronie at mpi-sb.mpg.de
Tue Apr 28 11:19:02 CEST 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 dl mailing list