TABLEAUX 2021 The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Online and Birmingham, UK, September 6-9, 2021 https://tableaux2021.org/

GENERAL INFORMATION The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021) will be hosted by the University of Birmingham, UK, 6-9 September 2021. It will primarily be a virtual conference, due to ongoing conerns about COVID-19. However it will be possible to attend the conference physically for those who are able to travel to Birmingham and take advantage of a hybrid format.

TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organised on an annual basis (sometimes as a part of IJCAR).

TABLEAUX 2021 will be co-located with the 13th International Symposium on Frontiers of Combining Systems (FroCoS 2021).

SCOPE OF CONFERENCE Tableaux and other proof based methods offer convenient and flexible tools for automated reasoning for both classical and non-classical logics. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

Topics of interest include but are not limited to: * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, linear, substructural, fuzzy, relevance and non- monotonic logics) and their proof-theoretic foundations; * sequent, natural deduction, labelled, nested and deep calculi for classical and non-classical logics, as tools for proof search and proof representation; * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches); * flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics; * systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.); * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.); * extensions of tableau procedures with conflict-driven learning; * techniques for proof generation and compact (or humanly readable) proof representation; * theoretical and practical aspects of decision procedures; * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching.

We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the TABLEAUX community and should focus on the role of reasoning and on logical aspects of the solution.

INVITED SPEAKERS TABLEAUX 2021 will host the following the invited speakers:

Michael Benedikt (joint with FroCoS) (University of Oxford, UK). The Strange Career of Interpolation and Definability. Orna Kupferman (Hebrew University, Israel). Rational Synthesis. Revantha Ramanayake (University of Groningen, The Netherlands). The Barter Trade in Structure and Cuts. Greg Restall (University of Melbourne, Australia / University of St Andrews, UK). Comparing Rules for Identity in Sequent Systems and Natural Deduction. Renate Schmidt (joint with FroCoS) (University of Manchester, UK). Forgetting and Subontology Generation for the Medical Ontology SNOMED CT.

PROGRAM The program can be found here: https://tableaux2021.org/#program .

REGISTRATION TABLEAUX and FroCoS will be entirely free-of-charge to attend, but registration is mandatory to fully engage with the scientific program. The registration form is here:

https://forms.gle/DRNBgeRKA4Qbcsws7

If you wish to attend physically, you should indicate it on the registration form. Note that you are able to edit this response in case of change of circumstances. More information about the conference format will be updated here.

PROGRAM COMMITTEE Bahareh Afshari (University of Amsterdam, Netherlands, and University of Gothenburg, Sweden) Carlos Areces (Universidad Nacional de Córdoba, Argentina) Arnon Avron (Tel-Aviv University, Israel) Nick Bezhanishvili (University of Amsterdam, Netherlands) Patrick Blackburn (University of Roskilde, Denmark) Serenella Cerrito (Université Paris-Saclay, Univ Evry, France) Kaustuv Chaudhuri (Inria, France) Liron Cohen (Ben-Gurion University, Israel) Anupam Das (University of Birmingham, UK) Stéphane Demri (CNRS, France) Hans de Nivelle (Nazarbayev University, Kazakhstan) Valeria de Paiva (Topos Institute Berkeley, USA) Clare Dixon (University of Manchester, UK) Christian Fermüller (TU Wien, Austria) Didier Galmiche (Université de Lorraine, France) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rajeev Goré (Australian National University, Australia) Andrzej Indrzejczak (University of Łódź, Poland) Hidenori Kurokawa (Kanazawa University, Japan) Stepan Kuznetsov (Russian Academy of Sciences, Russia) Björn Lellmann (SBA Research, Austria) Stéphane Graham-Lengrand (SRI International, USA) George Metcalfe (University of Bern, Switzerland) Neil Murray (University At Albany, USA) Cláudia Nalon (Universidade de Brasília, Brazil) Sara Negri (University of Genoa, Italy) Nicola Olivetti (Aix-Marseille University, France) Eugenio Orlandelli (University of Bologna, Italy) Jens Otten (University of Oslo, Norway) Alessandra Palmigiano (Vrije Universiteit Amsterdam, Netherlands) Dirk Pattinson (Australian National University, Australia) Frank Pfenning (Carnegie Mellon University, USA) Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil) Andrei Popescu (University of Sheffield, UK) Gian Luca Pozzato (University of Turin, Italy) Giselle Reis (Carnegie Mellon University, Qatar) Reuben Rowe (Royal Holloway, UK) José Espírito Santo (University of Minho, Portugal) Lutz Straßburger (Inria, France) Josef Urban (Czech Technical University in Prague, Czech Republic)

PC CHAIRS Anupam Das (University of Birmingham, UK) Sara Negri (University of Genoa, Italy)