Logic List Mailing Archive

TABLEAUX 2019

3-5 Sep 2019
London, England

TABLEAUX 2019

The 28th International Conference on Automated Reasoning with Analytic Tableaux 
and Related Methods

London, UK, September 3-5, 2019

Website: https://www.tableaux2019.org

Contact: chair@tableaux2019.org


Due to requests from potential authors and from current authors wishing to 
polish their papers, we have extended the submission deadlines. The new 
deadlines are:


1 May 2019 (abstract), 8 May 2019 (paper)


Authors who have a good paper and are in doubt whether to send it to TABLEAUX 
may note some highlights of this year's edition: two affiliated workshops, two 
affiliated tutorials, a financially supported best paper award for young 
researchers, five outstanding invited speakers (to be announced soon) and some 
support for young researchers traveling to the conference (including widely 
available cheap accommodation). We hope to see many of you this September in 
London -- in the beautiful campus of the Middlesex University, located 40 
minutes from the city center and 20 minutes from Camden Town's iconic music 
venues!


GENERAL INFORMATION

The 28th International Conference on Automated Reasoning with Analytic Tableaux 
and Related Methods (TABLEAUX 2019) will take place in London. It will be 
hosted by the Department of Computer Science at the Middlesex University 
London, on 3-5 September 2019.

TABLEAUX is the main international conference at which research on all aspects 
-- theoretical foundations, implementation techniques, systems development and 
applications -- of the mechanization 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 organized on an annual 
basis; in 2001, 2004, 2006, 2008, 2010, 2012, 2014, 2016 and 2018 as a 
constituent of IJCAR.

TABLEAUX 2019 will be co-located with the 12th International Symposium on 
Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a 
rich programme of workshops, tutorials, invited talks, paper presentations and 
system descriptions.


SCOPE OF CONFERENCE

Tableau methods offer a convenient and flexible set of tools for automated 
reasoning in classical logic, extensions of classical logic, and a large number 
of non-classical logics. For many logics, tableau methods can be generated 
automatically. 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, substructural, fuzzy, relevance and non-monotonic logics) and 
their proof-theoretic foundations;

* sequent calculi and natural deduction 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 tableau community 
and should focus on the role of reasoning and on logical aspects of the 
solution.


SUBMISSION GUIDELINES

Submissions are invited in three 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;

(C) position papers and brief reports on work in progress, with length up to 9 
pages excluding references.

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. Accepted papers in category C will 
be published as a Technical Report of the Middlesex University London.

Papers must be edited in LaTeX using the llncs style and must be submitted 
electronically as PDF files via the EasyChair system: 
http://easychair.org/conferences/?conf=tableaux2019

For all accepted papers at least one author is required to attend 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: 1 May 2019

Paper submission: 8 May 2019

Notification of paper decisions: 6 Jun 2019

Camera-ready papers due: 1 Jul 2019

TABLEAUX conference: 3-5 Sep 2019


PUBLICATION DETAILS

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 (1) the TABLEAUX 2019 Best Paper and (2) the 
TABLEAUX 2019 Best Paper by a Junior Researcher, of which the latter will be 
supported by 500 Euros. Researchers will be considered junior if either they 
are students or their PhD award date is less than two years from the first day 
of the meeting, 3 September 2019. "Paper by a Junior Researcher" means that the 
paper's main author is junior, or the paper's main authors are all junior. For 
a paper to qualify, this information must be indicated in the pdf submission by 
adding an asterisk (*) at both the title and the main-author name(s).


SUPPORT FOR STUDENT AND YOUNG RESEARCHER PARTICIPATION

We have some limited funding for supporting students and young researchers 
traveling to the conference -- courtesy of direct sponsorship from Amazon and 
Springer and indirect sponsorship from the Association for Symbolic Logic. In 
addition, some funding will be available through the EUTypes COST action 
website. In all cases, authors of accepted papers will be given precedence. 
Please see the conference website for more details.

In addition, the Middlesex University is offering accommodation at a £30 daily 
rate in some excellently maintained shared flats located close to the 
conference venue (https://www.mdx.ac.uk/student-life/accommodation/platt-hall).

AFFILIATED EVENTS (COMMON WITH FroCoS)

WORKSHOPS:

* The 25th Workshop on Automated Reasoning (ARW 2019, http://arw.csc.liv.ac.uk)

Organizers: Florian Kammueller (Middlesex University) and Alexander Bolotov 
(University of Westminster)

* Journeys in Computational Logic: Tributes to Roy Dyckhoff

Organizers: Stéphane Graham-Lengrand (SRI International), Ekaterina 
Komendantskaya (Heriot-Watt University) and Mehrnoosh Sadrzadeh (Queen Mary 
University of London)

TUTORIALS:

* Formalising concurrent computation: CLF, Celf, and applications (joint 
FroCoS/TABLEAUX tutorial).

Presenters: Sonia Marin (IT-University of Copenhagen), Giselle Reis (Carnegie 
Mellon University in Qatar) and Iliano Cervesato (Carnegie Mellon University)

* How to Build an Automated Theorem Prover - An Introductory Tutorial (invited 
TABLEAUX tutorial). Presenter: Jens Otten (University of Oslo)


PROGRAM COMMITTEE

Peter Baumgartner, Data61/CSIRO, Australia

Maria Paola Bonacina, Università degli Studi di Verona, Italy

James Brotherston, University College London, UK

Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France

Agata Ciabattoni, Technische Universität Wien, Austria

Anupam Das, University of Copenhagen, Denmark

Clare Dixon, University of Liverpool, UK

Camillo Fiorentini, University of Milano, Italy

Pascal Fontaine, LORIA, INRIA, University of Lorraine, France

Didier Galmiche, LORIA, University of Lorraine, France

Martin Giese, Universitetet i Oslo, Norway

Laura Giordano, DISIT, Università del Piemonte Orientale, Italy

Rajeev Goré, The Australian National University, Australia

Stéphane Graham-Lengrand, SRI International, USA

Reiner Hähnle, TU Darmstadt, Germany

Ori Lahav, Tel Aviv University, Israel

Tomer Libal, American University of Paris, France

George Metcalfe, Universität Bern, Switzerland

Dale Miller, INRIA and LIX/Ecole Polytechnique, France

Leonardo de Moura, Microsoft Research, USA

Neil Murray, SUNY at Albany, USA

Cláudia Nalon, University of Brasília, Brazil

Sara Negri, University of Helsinki, Finland

Hans de Nivelle, Nazarbayev University, Kazakhstan

Nicola Olivetti, LSIS, Aix-Marseille Université, France

Jens Otten, Universitetet i Oslo, Norway

Valeria De Paiva, Nuance Communications, USA

Nicolas Peltier, CNRS, Laboratoire d'Informatique de Grenoble, France

Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil

Francesca Poggiolesi, CNRS, IHST Paris, France

Andrei Popescu, Middlesex University London, UK

Gian Luca Pozzato, University of Turin, Italy

Giles Reger, University of Manchester, UK

Giselle Reis, Carnegie Mellon University, Qatar

Renate Schmidt, University of Manchester, UK

Viorica Sofronie-Stokkermans, Universität Koblenz-Landau, Germany

Alwen Tiu, Australian National University, Australia

Sophie Tourret, Max-Planck-Institut für Informatik, Saarbrücken, Germany

Dmitriy Traytel, ETH Zürich, Switzerland

Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics, Czech 
Republic

Luca Viganò, King's College, London, UK

Uwe Waldmann, Max-Planck-Institut für Informatik, Saarbrücken, Germany

Bruno Woltzenlogel Paleo, Vienna University of Technology, Austria


PC CHAIRS

Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France

Andrei Popescu, Middlesex University London, UK


LOCAL ORGANIZATION COMMITTEE

Kelly Androutsopoulos, Middlesex University London, UK

Jaap Boender, Middlesex University London, UK

Michele Bottone, Middlesex University London, UK

Florian Kammueller, Middlesex University London, UK

Rajagopal Nagarajan, Middlesex University London, UK

Andrei Popescu, Middlesex University London, UK

Franco Raimondi, Middlesex University London, UK


CONFERENCE CHAIR

Andrei Popescu, Middlesex University London, UK


--
[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