Please note that this newsitem has been archived, and may contain outdated information or links.
6-10 July 2009, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway
This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.
Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.
See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.
Submissions are invited for research papers, system descriptions and position papers, as well as workshops and tuturials. Deadline for submissions: 9 January 2009 (workshop/tuturial proposals) and 19 January 2009 (paper abstracts).
Please note that this newsitem has been archived, and may contain outdated information or links.