CADE-14

July 13-17, 1997, Townsville, Australia

CALL FOR PAPERS

Program Committee L. Bachmair (Stony Brook) H. Comon (Orsay) W. Farmer (Bedford) M. Fujita (Tokyo)  H. Ganzinger (Saarbrücken) F. Giunchiglia (Trento) J. Harrison (Turku) R. Hasegawa (Kyushu) S. Hölldobler (Dresden) J. Hsiang (Taipei) D. Kapur (Albany) C. Kirchner (Nancy) C. Kreitz (Cornell) A. Leitsch (Vienna) R. Letz (Munich)  E. Lusk (Argonne) U. Martin (St. Andrews) D. McAllester (Murray Hill) W. McCune (Argonne) L. Paulson (Cambridge) F. Pfenning (Pittsburgh) M. Rusinowitch (Nancy) J. Schumann (Munich) N. Shankar (Menlo Park) J. Slaney (Canberra) M. Stickel (Menlo Park) G. Sutcliffe (Townsville) T. Tammet (Göteborg) A. Voronkov (Uppsala) L. Wallen (Oxford) C. Walther (Darmstadt) D. Wang (Grenoble)  H. Zhang (Iowa City)

CADE is the major forum for presentation of research in all aspects of automated deduction. Original research papers and descriptions of working automated deduction systems are solicited for the 14th CADE. Topics Logics of interest include propositional, first order, equational, higher order, classical, intuitionistic, constructive, type theory, nonstandard, and meta-logics. Methods of interest include resolution, paramodulation, unification, term rewriting, tableaux, constraints, decision procedures, induction, interactive systems, and frameworks. Applications of interest include hardware and software development, systems verification, artificial intelligence, logic, set theory, mathematics, applicative programming, and logic programming. Special topics of interest include proof translation, human-computer interfaces, distributed deduction, and search heuristics. Papers on applications of automated deduction are especially encouraged. Submissions Papers must be original and not submitted for publication elsewhere. Research papers can be up to 15 proceedings pages, and system descriptions can be up to 4 pages. The proceedings of CADE-14 will be published by Springer-Verlag in the LNAI series. Authors are strongly encouraged to use LaTeX and the Springer style files available from the CADE-14 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 of the procedure and alternatives can be found at the CADE-14 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 December 4, 1996. Submissions that are late or too long or require substantial revision will not be considered.

Submission deadline: December 4, 1996 Notification of acceptance: February 12, 1997 Camera-ready copy due: March 19, 1997

Program Chair:	Local Arrangements Chair:
William McCune Mathematics and Computer Science Argonne National Laboratory Argonne, IL 60439-4844 U.S.A. Phone: +1 630 252 3065 FAX: +1 630 252 5986 E-mail: cade14-chair@mcs.anl.gov	Geoff Sutcliffe Department of Computer Science James Cook University Townsville, 4811 AUSTRALIA Phone: +61 77 815085 FAX: +61 77 814029 E-mail: cade-14@cs.jcu.edu.au

CADE-14 Web Site - http://www.cs.jcu.edu.au/~cade-14/