[Proof Complexity] TABLEAUX 2021 – Call for Participation. 6-9 September, 2021. Virtual and Birmingham, UK.

anupamdotdas at gmail.com anupamdotdas at gmail.com
Wed Aug 25 13:11:09 CEST 2021

The 30th International Conference on Automated Reasoning with Analytic
Tableaux and Related Methods
Online and Birmingham, UK, September 6-9, 2021

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). 

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
   * 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. 

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

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

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:


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.

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)

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

More information about the Proof-Complexity mailing list