Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.mpi-sb.mpg.de/cade-16/cfp.html
Organizers: Harald Ganzinger, Paolo Traverso
Description:
CADE is the major forum for presentation of research in all aspects of automated deduction. CADE-16 will take place from July 7 to July 10, 1999 in Trento, Italy,
as part of the Federated Logic Conference (FLoC'99). Original research papers and descriptions of working automated deduction systems are solicited.
Logics of interest include propositional, first-order, equational, higher-order, classical, intuitionistic, constructive, nonstandard, and meta-logics, and type theory. Methods of interest include saturation, tableaux, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, logical frameworks, and AI-related methods for deductive systems such as proof planning and proof presentation. Applications of interest include hardware and software development, systems analysis and verification, deductive databases, functional and logic programming, computer mathematics, and deduction for natural language processing and other AI areas. Special topics of interest include proof theory, human-computer interfaces, distributed deduction, and search and simplification heuristics.
Date received: October 13, 1998, revised February 06, 1999
© 2008 Atlas Conferences Inc.