The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in four categories:

A Research papers (reporting original theoretical and/or experimental research, up to 15 pages)
B System descriptions (up to 5 pages)
C Position papers and brief reports on work in progress
D Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages)

Submissions in categories A and B will be reviewed by peers, typically members of the programme committee. They must be unpublished and not submitted for publication elsewhere. Accepted papers in these categories will be published in the conference proceedings (within the LNAI series of Springer), which will be available at the conference.

Submissions in category C will be reviewed by members of the programme committee and accepted papers in this category will be published by ARACNE Editrice (Italy), as Technical Report of the Dipartimento di Informatica e Automazione, Università di Roma Tre.

Authors of accepted papers are expected to present their work at the conference.

Submission procedure

Submissions in categories A, B and C should preferably be in LaTeX2e llncs style.

Papers have to be submitted in postscript format through the special submission page at Papers have to be registered at the same page by March 18, 2003. The registration form includes title, short abstract and a list of keywords. The deadline for paper submission is March 21, 2003

Immediately after having registered your paper, you will receive a confirmation message. A second message confirming that your paper has been uploaded to the TABLEAUX 2003 submission site will be sent to you after paper submission. Please contact us if you don't receive such messages within a reasonable time.

Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the programme committee. They must be submitted by email, to, in either plain text or in PS/PDF format. PS/PDF submissions should be sent as attachments.

Important Dates

Deadline for submission of tutorial proposals: January 24, 2003
Notification of acceptance of tutorials: February 28, 2003
Deadline for electronic submission of title and short abstract: March 18, 2003
Deadline for electronic submission of papers: March 21, 2003
Extended deadline for electronic submission of title and abstract of position papers March 26, 2003
Extended deadline for electronic submission of position papers: March 31, 2003
Notification of acceptance of papers: May 17, 2003
Deadline for final version of accepted papers: June 9, 2003