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 29 to October 3rd 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: TBA