TABLEAUX 2025

TABLEAUX is the main international conference at which research on all aspects—theoretical foundations, implementation techniques, systems development and applications—of tableaux-based reasoning and related methods are presented.

The next TABLEAUX will take place in Reykjavík, Iceland from September 27 to 29 of October 2025.

Click here to access the homepage.

Program Chairs:

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

Important dates:

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

Invited speakers:

• Kaustuv Chaudhuri, LIX, Inria/École Polytechnique – joint with [FroCoS](https://icetcs.github.io/frocos-itp-tableaux25/frocos/
• Raheleh Jalali, University of Bath