Submission
Note: Submission of research papers, short papers, system descriptions and tutorials is closed now.
Submission is electronic, through EasyChair.
Authors are required to use LaTeX and the Springer llncs format, which can be obtained from here.
The page limits are as follows
- Research papers (reporting original theoretical and/or experimental research): 15 pages
- System descriptions: 5 pages
- Short papers reporting work in progress: 5 pages
- Tutorials in all areas of analytic tableaux and related methods from academic research to applications: 5 pages