[Prev][Next][Index][Thread]
CADE-14 - Call for Workshops and Tutorials
----------------------------------------------------------------------------
CADE-14
The 14th International Conference on Automated Deduction
July 13-17, 1997, Townsville, Australia
FINAL CALL FOR WORKSHOPS AND TUTORIALS
Program Committee CADE is the major forum for presentation of
L. Bachmair (Stony Brook) research in all aspects of automated deduction.
H. Comon (Orsay) Proposals for workshops and tutorials, which are
W. Farmer (Bedford) to be held Sunday, July 13, are solicited for the
M. Fujita (Tokyo) 14th CADE. Workshops will run the whole day, and
H. Ganzinger (Saarbruecken) tutorials for half a day.
F. Giunchiglia (Trento)
J. Harrison (Turku) Topics
R. Hasegawa (Kyushu)
S. Hoelldobler (Dresden) Recent CADE workshops have included term
J. Hsiang (Taipei) schematizations and their applications, visual
D. Kapur (Albany) reasoning, automation of proofs by mathematical
C. Kirchner (Nancy) induction, empirical studies in logic algorithms,
C. Kreitz (Cornell) mechanization of partial functions, proof search
A. Leitsch (Vienna) in type-theoretic languages, automated model
R. Letz (Munich) building, and evaluation of automated theorem-
E. Lusk (Argonne) proving systems. Workshops frequently have the
U. Martin (St. Andrews) same topic as those of previous workshops, and
D. McAllester (Murray Hill) this practice is encouraged. Recent CADE
W. McCune (Argonne) tutorials have included equality reasoning in
L. Paulson (Cambridge) semantic tableaux, proof systems for nonmonotonic
F. Pfenning (Pittsburgh) logics, rewrite techniques in theorem proving,
M. Rusinowitch (Nancy) parallelization of deduction strategies,
J. Schumann (Munich) resolution decision methods, constructive type
N. Shankar (Menlo Park) theory, the use of semantics in Herbrand-based
J. Slaney (Canberra) proof procedures, logical frameworks, and theorem
M. Stickel (Menlo Park) proving by the inverse method. Tutorials may be
G. Sutcliffe (Townsville) introductory, intermediate, or advanced.
T. Tammet (Goeteborg)
A. Voronkov (Uppsala) Proposals
L. Wallen (Oxford)
C. Walther (Darmstadt) Anyone wishing to organize a workshop or tutorial
D. Wang (Grenoble) in conjunction with CADE-14 should send (e-mail
H. Zhang (Iowa City) 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 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/
----------------------------------------------------------------------------