Awards

TABLEAUX recognizes outstanding scientific contributions through two conference awards:

Best Paper Award

The Best Paper Award recognizes the paper judged to have made the most significant contribution to the conference. All accepted papers presented at TABLEAUX are automatically eligible. The award is selected by the Program Committee based on the scientific quality, originality, significance, and clarity of the work.

Best Student Paper Award

The Best Student Paper Award recognizes an outstanding contribution whose primary authors are students. To be eligible, the first author must be a student at the time of submission and must present the paper at the conference. Student papers are evaluated according to the same criteria as all other papers—scientific quality, originality, significance, and clarity—and remain eligible for the Best Paper Award as well.

The awards are announced during the conference closing session.

These are the last Best Paper and Best Student Paper awards:

2025:
- Best paper: Analytic Proofs for Tense Logic by Agata Ciabattoni, Timo Lang and Revantha Ramanayake
- Best Student Paper: Interpolation for Converse PDL by Johannes Kloibhofer, Francisco Trucco Dalmas and Yde Venema
2023:
- Best paper: A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised by Ian Shillito, Iris van der Giessen, Rajeev Gore and Rosalie Iemhoff
- Best Junior Researcher Paper: Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic by Bahareh Afshari, Lide Grotenhuis, Graham Leigh and Lukas Zenger