TABLEAUX 2023

Logo

32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Home
Important Dates
Paper Submission
Committees
Invited Speakers
Workshops
Venue & Travel
Registration
Program
Best Papers

Best Paper Awards

The program committee will select

Researchers will be considered “junior” if either they are students or their PhD degree date is less than two years from the first day of the meeting. For a submission to be eligible for the Best Junior Researcher Paper award, more than 50% of the contribution must be made by the junior researcher(s). The two awards will be presented at the conference.

Photos from the Tableaux/FroCoS Best Paper Award Ceremony