32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Important Dates
Paper Submission
Invited Speakers
Venue & Travel
Best Papers

Paper Submission

Submissions are invited in the following two categories.

  1. regular papers reporting original theoretical research or applications. Up to 15 pages excluding references
  2. short papers such as system descriptions, user experiences, case studies and domain models. Up to 9 pages excluding references

Submissions will be reviewed by the Program Committee, possibly with the help of external reviewers, taking into account correctness, originality, readability, relevance, and significance. Any additional material (going beyond the page limit) may be included in a clearly marked appendix that will be read at the discretion of the committee and must be removed for the camera-ready version.

Submissions must be unpublished and not submitted for archival publication elsewhere. The existence of non-anonymous preprints (such as on arXiv, websites, etc) is acceptable. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of the results. Accepted papers in categories (A) and (B) will be published in the conference proceedings.

Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system:

For all accepted papers at least one author is required to register to the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files are available here.

Publisher Instructions