CADE-16

          The 16th International Conference on Automated Deduction
                               July 7-10, 1999
                                Trento, Italy

CALL FOR PAPERS

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.

Topics

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.

Submissions

Papers must be original and not submitted for publication elsewhere.
Submission of a paper to more than one conference participating in FLoC is
not permitted. Research papers can be up to 15 proceedings pages, and system
descriptions can be up to 4 pages. The proceedings of CADE-16 will be
published by Springer-Verlag in the LNAI series. Authors of accepted papers
will be requested to sign a form transfering copyright of their contribution
to Springer-Verlag. Authors are strongly encouraged to use LaTeX2e and the
Springer llncs class files available from the CADE-16 web site. The primary
means of submission will be electronic, in PostScript format. Papers should
be compressed, then uuencoded, then e-mailed to the program chair. Details
on the procedure and alternatives can be found at the CADE-16 web site. If
electronic submission is not possible, 5 hard copies should be sent to the
program chair at the postal address given below. Regardless of the
submission method, the letter or e-mail message accompanying the paper must
contain a plain text abstract of about 200 words and the names, e-mail
addresses, and postal addresses of all authors. All submissions must be
received by January 5, 1999. Submissions that are late or too long or
require substantial revision will not be considered.

Program Chair:

Harald Ganzinger
Max-Planck-Institut fuer Informatik
Im Stadtwald
66123 Saarbruecken
Germany

Phone: +49 681 9325 201
FAX: +49 681 9325 299
E-mail: cade-16@mpi-sb.mpg.de

Local Arrangements Chair:

Paolo Traverso
Istituto Per la Ricerca Scientifica e Tecnologica
Istituto Trentino di Cultura
Pante' di Povo
38050 Trento
Italy

Phone: +39 461 314431
E-mail: leaf@irst.itc.it

Program Committee:

 F. Baader (Aachen)              C. Lynch (Clarkson)
 L. Bachmair (Stony Brook)       D. McAllester (Florham Park)
 D. Basin (Freiburg)             W. McCune (Argonne)
 A. Bundy (Edinburgh)            R. Nieuwenhuis (Barcelona)
 H. Comon (Cachan)               H. de Nivelle (Amsterdam)
 G. Dowek (Rocquencourt)         H. J. Ohlbach (London)
 H. Ganzinger (Saarbruecken)      L. Paulson (Cambridge)
 R. Hasegawa (Kyushu)            F. Pfenning (Pittsburgh)
 J. Hsiang (Taipei)              D. Plaisted (Chapel Hill)
 D. Kapur (Albany)               J. Slaney (Canberra)
 M. Kohlhase (Saarbruecken)       T. Tammet (Goteborg)
 H. Kirchner (Nancy)             A. Voronkov (Uppsala)
 A. Leitsch (Vienna)             L. Wallen (Oxford)
 R. Letz (Munich)                D. Wang (Grenoble)
 P. Lincoln (Menlo Park)

Schedule:

Submission deadline:
     January 5, 1999
Notification of acceptance:
     February 25, 1999
Camera-ready copy due:
     April 11, 1999
Conference:
     July 7-10, 1999