Atlas home || Conferences | Abstracts | about Atlas
Host: The Inn at Saratoga
Homepage: http://www.cs.albany.edu/~nvm/tab99/
Organizers: Neil V. Murray
Deadline for abstracts: December 04, 1998
Description:
This conference is a continuation of international meetings on Theorem Proving with Analytic Tableaux and Related Methods held in Lautenbach near Karlsruhe
(1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont-à-Mousson near Nancy (1997), and
Oisterwijk near Tilburg (1998). In June 1999, the conference will for the first time be held in North America, at Saratoga Springs, NY. Since Tableaux'95, the
proceedings have been published in Springer's LNAI series and will be again for 1999.
Tableau methods have been found to be 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.
Topics of interest include (but are not restricted to): analytic tableaux for various logics (theory and applications) related techniques and concepts, e.g., model checking and BDD's related methods (model elimination, sequent calculi, connection method, ...) new calculi and methods for theorem proving in classical and non-classical logics (modal, intuitionistic, linear, temporal, ...) systems, tools, implementations and applications (e.g., verification)
Speakers: Randy Bryant (Carnegie Mellon Univ., USA), David S. Warren (SUNY Stony Brook, USA)
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.