[DL] FTP 2009: Deadline extension
sofronie at mpi-sb.mpg.de
Tue Apr 28 11:19:02 CEST 2009
CALL FOR PAPERS: Deadline extension
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.
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
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