---------------------------------------------------------------------------- CADE-14 The 14th International Conference on Automated Deduction July 13-17, 1997, Townsville, Australia CALL FOR PAPERS Program Committee CADE is the major forum for presentation of L. Bachmair (Stony Brook) research in all aspects of automated deduction. H. Comon (Orsay) Original research papers and descriptions of W. Farmer (Bedford) working automated deduction systems are solicited M. Fujita (Tokyo) for the 14th CADE. H. Ganzinger (Saarbruecken) F. Giunchiglia (Trento) Topics J. Harrison (Turku) R. Hasegawa (Kyushu) Logics of interest include propositional, first S. Hoelldobler (Dresden) order, equational, higher order, classical, J. Hsiang (Taipei) intuitionistic, constructive, type theory, D. Kapur (Albany) nonstandard, and meta-logics. Methods of interest C. Kirchner (Nancy) include resolution, paramodulation, unification, C. Kreitz (Cornell) term rewriting, tableaux, constraints, decision A. Leitsch (Vienna) procedures, induction, interactive systems, and R. Letz (Munich) frameworks. Applications of interest include E. Lusk (Argonne) hardware and software development, systems U. Martin (St. Andrews) verification, artificial intelligence, logic, set D. McAllester (Murray Hill) theory, mathematics, applicative programming, and W. McCune (Argonne) logic programming. Special topics of interest L. Paulson (Cambridge) include proof translation, human-computer F. Pfenning (Pittsburgh) interfaces, distributed deduction, and search M. Rusinowitch (Nancy) heuristics. Papers on applications of automated J. Schumann (Munich) deduction are especially encouraged. N. Shankar (Menlo Park) J. Slaney (Canberra) Submissions M. Stickel (Menlo Park) G. Sutcliffe (Townsville) Papers must be original and not submitted for T. Tammet (Goeteborg) publication elsewhere. Research papers can be up A. Voronkov (Uppsala) to 15 proceedings pages, and system descriptions L. Wallen (Oxford) can be up to 4 pages. The proceedings of CADE-14 C. Walther (Darmstadt) will be published by Springer-Verlag in the LNAI D. Wang (Grenoble) series. Authors are strongly encouraged to use H. Zhang (Iowa City) 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 on 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 Geoff Sutcliffe Mathematics and Computer Science Department of Computer Science Argonne National Laboratory James Cook University Argonne, IL 60439-4844 Townsville, 4811 U.S.A. AUSTRALIA Phone: +1 630 252 3065 Phone: +61 77 815085 FAX: +1 630 252 5986 FAX: +61 77 814029 E-mail: cade14-chair@mcs.anl.gov E-mail: cade-14@cs.jcu.edu.au CADE-14 Web Site - http://www.cs.jcu.edu.au/~cade-14/ ----------------------------------------------------------------------------