CADE-14

July 13-17, 1997, Townsville, Australia

CALL FOR WORKSHOPS AND TUTORIALS

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. Proposals for workshops and tutorials, which are to be held Sunday, July 13, are solicited for the 14th CADE. Workshops will run the whole day, and tutorials for half a day. Topics Recent CADE workshops have included term schematizations and their applications, visual reasoning, automation of proofs by mathematical induction, empirical studies in logic algorithms, mechanization of partial functions, proof search in type-theoretic languages, automated model building, and evaluation of automated theorem-proving systems. Workshops frequently have the same topic as those of previous workshops, and this practice is encouraged. Recent CADE tutorials have included equality reasoning in semantic tableaux, proof systems for nonmonotonic logics, rewrite techniques in theorem proving, parallelization of deduction strategies, resolution decision methods, constructive type theory, the use of semantics in Herbrand-based proof procedures, logical frameworks, and theorem proving by the inverse method. Tutorials may be introductory, intermediate, or advanced. Proposals Anyone wishing to organize a workshop or tutorial in conjunction with CADE-14 should send (e-mail preferred) a proposal no longer than two pages to the program chair by January 15, 1997. The proposal should describe the topic of the proposed workshop or tutorial and explain why the topic is relevant to CADE. Proposals will be evaluated by the program committee, and decisions will be made by February 12, 1997. Further information about the arrangements for workshops and tutorials can be obtained from the CADE-14 Web site.

Proposal deadline: January 15, 1997 Notification of acceptance: February 12, 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/