Next Conference

The next International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) will take place in September in Birmingham, UK. More information will be available soon.