RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
FTP'03
 4th International Workshop on First order Theorem Proving
Valencia, Spain, June 12-14, 2003

FTP'2003 is the fourth 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 very recent work and discussion of research in progress


TOPICS

The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including nonexclusively: resolution, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to problems in verification, artificial intelligence, and mathematics.


SUBMISSION

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: Papers should be received by April 5, 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 (except position papers) will be published in the ENTCS series (Electronic Notes in Theoretical Computer Science), and will be available electronically before the workshop. At the workshop itself, a hard copy of all the papers will be given to the participants.

Journal special issue: As for the previous editions of FTP, a special issue of a journal is planned after the workshop. The papers published in this journal will be either long versions of papers presented at FTP'2003, or new papers devoted to First-Order Theorem Proving. All these papers will go through a new review process.


INVITED SPEAKERS


IMPORTANT DATES

    Tuesday, April 5, 2003 Deadline for submission of papers
    Tuesday, April 29, 2003 Notification of acceptance
    Thursday, May 15, 2003 Camera-ready papers
    June 12-14, 2003 Workshop

PROGRAM COMMITTEE

STEERING COMMITTEE

PROGRAM CO-CHAIRS

FURTHER INFORMATION
                                                                                                                                                                                                               
Last update: April, 16th sescobar@dsic.upv.es