International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (34. : 2025 : Reykjavik)