Logic List Mailing Archive

TABLEAUX 2021, Birmingham, England and Virtual

6-9 Sep 2021

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.

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). The conferences will provide 
a rich programme of workshops, tutorials, invited talks, paper 
presentations and system descriptions.

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.

SUBMISSION GUIDELINES
Submissions are invited in the following two categories:
(A) research papers reporting original theoretical research or applications, 
with length up to 15 pages excluding references;
(B) system descriptions, with length up to 9 pages excluding references.

There will also be a later call inviting position papers and brief reports on 
work-in-progress. Details will be kept up to date on the website.

Submissions will be reviewed by the PC, possibly with the help of external 
reviewers, taking into account readability, relevance and originality. Any 
additional material (going beyond the page limit) can be included in a clearly 
marked appendix, which will be read at the discretion of the committee and must 
be removed for the camera-ready version.

For category (A) submissions, the reported results must be original and not 
submitted for publication elsewhere. For category (B) submissions, a working 
implementation must be accessible via the internet. Authors are encouraged to 
publish the implementation under an open source license. The aim of a system 
description is to make the system available in such a way that people can use 
it, understand it, and build on it. Accepted papers in categories (A) and (B) 
will be published in the conference proceedings.

Papers must be edited in LaTeX using the llncs style and must be submitted 
electronically as PDF files via the EasyChair system:

https://easychair.org/conferences/?conf=tableaux21

For all accepted papers at least one author is required to register to the 
conference and present the paper. A title and a short abstract of about 100 
words must be submitted before the paper submission deadline. Formatting 
instructions and the LNCS style files can be obtained at:

http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines

IMPORTANT DATES
Abstract submission: 19 April 2021 (AoE)
Paper submission: 26 April 2021 (AoE)
Notification: 14 June 2021
Conference: 6-9 September 2021

CONFERENCE FORMAT AND COVID-19
TABLEAUX 2021 and FroCoS 2021 are intended to be *hybrid* conferences welcoming 
both physical and virtual participation. The organisers are closely monitoring 
the pandemic situation and may choose to make the conference virtual-only if it 
seems unreasonable to host any sort of physical event. A final decision will be 
taken before the notification date 14 June (12 weeks before the conference) to 
leave ample time for potential travel plans to be made.

PUBLICATION
The conference proceedings will be published in the Springer series Lecture 
Notes in Artificial Intelligence (LNAI/LNCS).

BEST PAPER AWARDS
The program committee will select
* the TABLEAUX 2021 Best Paper; and,
* the TABLEAUX 2021 Best Paper by a Junior Researcher.

Researchers will be considered "junior" if either they are students or their 
PhD degree date is less than two years from the first day of the meeting. The 
two awards will be presented at the conference.

TRAVEL GRANTS FOR STUDENTS
Some funding may be available to support students participating at TABLEAUX 
2021. More details will be given on the conference website in due time.

PROGRAM COMMITTEE
Bahareh Afshari (University of Amsterdam, Netherlands)
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 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)

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam