The conference will include contributed papers, tutorials, system descriptions, a poster session and invited lectures. Submissions are invited in four categories:
| A | Original research papers (up to 15 pages) |
| B | Original papers on system descriptions (up to 5 pages) |
| C | Experimental papers for the comparison of theorem provers |
| 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. The cover page should include the title, the name, address, e-mail address and phone number of each author and the submission category. The conference proceedings will be published within the LNAI series of Springer.
Entries for the TANCS comparison (Category C) will be reviewed separately by a small team led by Fabio Massacci: for details, see the separate call for papers and the web page.
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.
Authors are requested to submit via email in PostScript to the Programme Chair by December 1, 1999 or (for Comparison entries) to the Comparison Chair by January 19, 2000.
Note: the December 1 date is being extended to January 12th; see the main page for details.
Submissions in categories A, B and C should preferably be in LaTeX2e llncs style: please include, prepended in plain ascii, the names and e-mail addresses of authors, and the paper's title and abstract.