TABLEAUX 2027

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 Marseille, France from September 29 to October 1 2027.

Click here to access the homepage.

Program Chairs:

• Kaustuv Chaudhuri, Inria Saclay

• Nicola Olivetti, Aix Marseille University

Important dates:

• Submission of title and abstract: April/May 2027
• Submission of paper: April/May 2027
• Notification: June 2027
• Final version: July 2027

Invited speakers:

• TBA