Logic List Mailing Archive

CfP: TABLEAUX 2025 – 34th Int. Conference on Automated Reasoning, 27 September–3 October 2025, Reykjavik (Iceland)

Call for papers

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

                    part of FroCoS/ITP/TABLEAUX '25
            Reykjavik, Iceland, 27 September-3 October 2025


TABLEAUX is the main international conference at which research on all aspe
cts---theoretical foundations, implementation techniques, systems developme
nt and applications---of tableaux-based reasoning and related methods are p
resented.

The first TABLEAUX conference was held in Lautenbach near Karlsruhe in 1992
. Since then it has been organized on an annual basis. Since 2001, TABLEAUX
, together with CADE and FroCoS, forms part of IJCAR every two years.


Important dates

Submission of title and abstract: 9 May 2025 Submission of paper: 14 May 20
25
Notification: 30 June 2025
Final version: 14 July 2025


Scope

Tableaux and related proof methods offer convenient and flexible tools for 
automated reasoning for both classical and non-classical logics. Areas of a
pplication include verification of software and computer systems, deductive
 databases, knowledge representation and its required inference engines, te
aching, and system diagnosis.

Topics of interest include but are not limited to:

- tableaux methods for classical and non-classical logics (including first-
order, higher-order, modal, temporal, description, hybrid, intuitionistic, 
linear, substructural, fuzzy, relevance and non-monotonic logics) and their
 proof-theoretic foundations;

- sequent, natural deduction, labelled, nested and deep calculi for classic
al and non-classical logics, as tools for proof search and proof representa
tion;

- related methods (SMT, model elimination, model checking, connection metho
ds, resolution, BDDs, translation approaches);

- flexible, easily extendable, light-weight methods for theorem proving; no
vel types of calculi for theorem proving and verification in classical and 
non-classical logics;

- systems, tools, implementations, empirical evaluations and applications (
provers, proof assistants, logical frameworks, model checkers, etc.);

- implementation techniques (data structures, efficient algorithms, perform
ance measurement, extensibility, etc.);

- combinations with machine learning and other AI methods;

- techniques for proof generation and compact (or human-readable) proof rep
resentation;

- theoretical and practical aspects of decision procedures;

- applications of automated deduction to mathematics, software development,
 verification, deductive and temporal databases, knowledge representation, 
ontologies, fault diagnosis or teaching.

We also welcome papers describing applications of tableau procedures to rea
l-world examples. Such papers should be tailored to the TABLEAUX community 
and should focus on the role of reasoning and on logical aspects of the sol
ution.


Paper submission

The program committee seeks high-quality submissions describing original wo
rk, written in English, not overlapping with published or simultaneously su
bmitted work to a journal or a conference/workshop with archival proceeding
s. Submissions are solicited in two
categories:

- regular papers reporting new theoretical research or applications, up to 
15 pages excluding references,

- short papers such as system descriptions, user experiences, case studies 
and domain models, up to 9 pages excluding references.

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

https://easychair.org/conferences/?conf=tableaux2025

For all accepted papers, one author must attend the conference in person an
d 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 organizer
s 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 C
C-BY-4.0 license.


Programme committee cochairs

Gian Luca Pozzato, Universit degli Studi di Torino Tarmo Uustalu, Reykja
vik University


Organizers

The conference is organized by the ICE-TCS lab of Reykjavik University.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php