Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

16-19 September 2013, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013), Nancy, France

Date: 16-19 September 2013
Location: Nancy, France

This conference is the 22th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableaux 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 intends to bring together researchers interested in all aspects - theoretical foundations, implementation techniques, system developments and applications - of the mechanization of reasoning with tableaux and related methods.

For more information, see http://tableaux13.loria.fr/.

Please note that this newsitem has been archived, and may contain outdated information or links.