TABLEAUX 2019
The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
London, UK, September 3-5, 2019
Authors, please note a change compared to the first call: The references are not counted in the page limits.
Website: https://www.tableaux2019.org
Contact: chair@tableaux2019.org
Submission deadlines: 21 Apr 2019 (abstract), 24 Apr 2019 (paper)
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: 21 Apr 2019
Paper submission: 24 Apr 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 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 will be available to support students traveling to TABLEAUX 2019. More details will be given on the conference website in due time.
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
The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
London, UK, September 3-5, 2019
Authors, please note a change compared to the first call: The references are not counted in the page limits.
Website: https://www.tableaux2019.org
Contact: chair@tableaux2019.org
Submission deadlines: 21 Apr 2019 (abstract), 24 Apr 2019 (paper)
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: 21 Apr 2019
Paper submission: 24 Apr 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 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 will be available to support students traveling to TABLEAUX 2019. More details will be given on the conference website in due time.
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
No comments:
Post a Comment