TABLEAUX 2027

36th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Marseille, France
September 27th -- September 29th

Website under construction