[Prev][Next][Index][Thread]
FTP'2003 Preliminary Call for Papers
Prolog:
The series of FTP workshops is 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. This domain is strongly related to types, as it includes
the definition of techniques for theorem proving (such as term
reduction, normalization), but also applications of theorem proving
(such as proof checking).
**********************************************************************
** FTP'2003 PRELIMINARY CALL FOR PAPERS **
** **
** 4th International Workshop on First-Order Theorem Proving **
** FTP'2003, June 12-14, 2003 **
** Valencia, Spain **
**********************************************************************
Important Dates:
Paper submissions April 1, 2003
Notification of acceptance April 29, 2003
Camera ready papers May 10, 2003
FTP'2003 workshop June 12-14, 2003
Scope:
The series of FTP workshops is 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, and modal
logics, including:
- resolution,
- equational reasoning,
- term rewriting,
- model construction,
- constraint reasoning,
- unification,
- description logics,
- propositional logic,
- specialized decision procedures,
* strategies and complexity of theorem proving procedures,
* applications of first-order theorem provers, for example to:
- verification,
- artificial intelligence,
- mathematics,
- education.
The previous international workshops on First-Order Theorem Proving
were held at Schloss Hagenberg, Austria (1997), Vienna, Austria
(1998), St Andrews, Scotland (2000). In 2001, FTP was part of the
IJCAR Conference, held in Siena, Italy.
Paper Submissions:
Authors are invited to submit papers in the following categories:
* Extended abstracts of 8-10 pages, describing original results not
published elsewhere.
* System descriptions of 3-5 pages, describing new systems or
significant upgrades of existing ones, especially including
experiments; systems will have to be freely available online.
* Position papers of 2 pages, describing the authors' research
interests in the field, work in progress, or future directions of
research.
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. Papers
should be sent as a Postscript or PDF file to: ftp2003@uni-koblenz.de
Papers should be received by April 1, 2003.
All papers will be refereed by the program committee, and will be
evaluated on their significance, technical merit, and relevance to
the workshop.
Publication:
Accepted submissions will be published in the ENTCS series
(Electronic Notes in Theoretical Computer Science), and will be
available electronically before the workshop.
As for the previous editions of FTP, a special issue of a journal
is planned after the workshop. The submission will be open to
papers on First-Order Theorem Proving.
Program Committee:
M. P. Bonacina (Verona), R. Caferra (Grenoble), I. Dahn (Koblenz,
co-Chair), B. Gramlich (Vienna), P. Narendran (Albany), D. Plaisted
(Chapel Hill), C. Ringeissen (Nancy), A. Rubio (Barcelona),
J. Slaney (Canberra), T. Uribe (Menlo Park), L. Vigano (Zuerich),
L. Vigneron (Nancy, co-Chair), C. Weidenbach (Saarbruecken),
H. Zhang (Iowa City).
Local Organization Chair:
S. Lucas (Valencia)
Steering Committee:
A. Armando (Genova), P. Baumgartner (Koblenz), M. P. Bonacina
(Verona, Chair), R. Caferra (Grenoble), D. Cantone (Catania),
D. Crocker (Escher Tech.), I. Dahn (Koblenz), B. Gramlich (Vienna),
R. Haehnle (Goeteborg), A. Leitsch (Vienna), P. Narendran (Albany),
C. Weidenbach (Saarbruecken).
Conference Venue:
The workshop will be part of the Federated Conference on Rewriting,
Deduction and Programming (RDP'03, http://www.dsic.upv.es/~rdp03/),
together with RTA (the 14th International Conference on Rewriting
Techniques and Applications), TLCA (the 6th International
Conference on Typed Lambda Calculi and Applications), and several
workshops.
Further information:
For regularly updated details of the workshop organization,
visit the FTP'2003 web page:
http://rewriting.loria.fr/FTP-2003/
For contacting the PC chairs: ftp2003@uni-koblenz.de