The conference will include contributed papers, tutorials, system descriptions and invited lectures. Submissions are invited in three categories:
- Research papers (reporting original theoretical and/or experimental research, up to 15 pages)
- System descriptions (up to 7 pages)
- 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 program 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. For category B submissions a working implementation must exist and be available to the referees.
Tutorial submissions (Category C) 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, to be presented in timeframe of at most 3 hours. Tutorial proposals will be reviewed by members of the program committee.
For each accepted paper, at least one author is required to attend the conference to present the paper. Prospective authors are required to register a title and an abstract a week before the paper submission deadline.