TABLEAUX 2023 will host the following co-located workshops.
The workshop concerns both published and on-going research on any area of P-tS, ranging from foundational studies and applications in any field. It welcomes both presentations of results and informal discussion such as examining open question, reflections on existing work, and presentations of negative results.
The main goal of the AReCCa workshop is to foster the development of efficient connection calculi and automated theorem proving systems for all sorts of classical and non-classical logics. To this end, the AReCCa workshop provides a forum to bring together researchers that are interested in automated reasoning with connection calculi, in order to present, discuss and publish recent developments in this research area.