3 - 5 September 2019, 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), London, England
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. 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.
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.
We invite submissions on any of the topics of interest to the conference. Submissions are invited in three categories:
(A) research papers reporting original theoretical research or applications, with length up to 15 pages;
(B) system descriptions, with length up to 9 pages;
(C) position papers and brief reports on work in progress, with length up to 9 pages.
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.