34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

TABLEAUX '25

part of FroCoS/ITP/TABLEAUX '25

Reykjavik, Iceland, 27 September-3 October 2025

Background

tba

Invited speakers

tba

Call for papers

Important dates

tba

Scope

tba

Paper categories and submission

Papers must be prepared in LaTeX using the llncs style and must be submitted electronically as pdf files through Easychair at

https://easychair.org/my/conference?conf_tableaux2025.

For all accepted papers, one author must attend the conference in person and present the paper. One author (which may be a different one, e.g. if the presenter is a student) must pay the full registration fee.

In exceptional circumstances (which must be agreed about with the organizers by the registration deadline), online presentation is an option. Still one author must pay the full registration fee.

Publication

The conference proceedings will be published in Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series in Gold Open Access under the CC-BY-4.0 license.

Programme committee cochairs

• Gian Luca Pozzato, Università degli Studi di Torino
• Tarmo Uustalu, Reykjavik University

Programme committee

tba

Organizers, sponsors and local information

See the shared pages of the colocated conferences.