[Prev][Next][Index][Thread]
CADE-14 Call for Papers, Workshops, Tutorials
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
----------------------------------------------------------------------------
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
J. Hsiang (Taipei) order, equational, higher order, classical,
D. Kapur (Albany) intuitionistic, constructive, type theory,
C. Kirchner (Nancy) nonstandard, and meta-logics. Methods of interest
C. Kreitz (Darmstadt) include resolution, paramodulation, unification,
A. Leitsch (Vienna) term rewriting, tableaux, constraints, decision
R. Letz (Munich) procedures, induction, interactive systems, and
E. Lusk (Argonne) frameworks. Applications of interest include
U. Martin (St. Andrews) hardware and software development, systems
D. McAllester (Murray Hill) verification, artificial intelligence, logic, set
W. McCune (Argonne) theory, mathematics, applicative programming, and
L. Paulson (Cambridge) logic programming. Special topics of interest
F. Pfenning (Pittsburgh) include proof translation, human-computer
M. Rusinowitch (Nancy) interfaces, distributed deduction, and search
J. Schumann (Munich) heuristics. Papers on applications of automated
N. Shankar (Menlo Park) deduction are especially encouraged.
J. Slaney (Canberra)
M. Stickel (Menlo Park) Submissions
G. Sutcliffe (Townsville)
T. Tammet (Goeteborg) Papers must be original and not submitted for
A. Voronkov (Uppsala) publication elsewhere. Research papers can be up
L. Wallen (Oxford) to 15 proceedings pages, and system descriptions
C. Walther (Darmstadt) can be up to 4 pages. The proceedings of CADE-14
D. Wang (Grenoble) will be published by Springer-Verlag in the LNAI
H. Zhang (Iowa City) 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 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/
----------------------------------------------------------------------------
CADE-14
The 14th International Conference on Automated Deduction
July 13-17, 1997, Townsville, Australia
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 ill run the whole day, and
H. Ganzinger (Saarbruecken) tutorials for half a day.
F. Giunchiglia (Trento)
J. Harrison (Turku) Topics
R. Hasegawa (Kyushu)
J. Hsiang (Taipei) Recent CADE workshops have included term
D. Kapur (Albany) schematizations and their applications, visual
C. Kirchner (Nancy) reasoning, automation of proofs by mathematical
C. Kreitz (Darmstadt) induction, empirical studies in logic algorithms,
A. Leitsch (Vienna) mechanization of partial functions, proof search
R. Letz (Munich) in type-theoretic languages, automated model
E. Lusk (Argonne) building, and evaluation of automated theorem-
U. Martin (St. Andrews) proving systems. Workshops frequently have the
D. McAllester (Murray Hill) same topic as those of previous workshops, and
W. McCune (Argonne) this practice is encouraged. Recent CADE
L. Paulson (Cambridge) tutorials have included equality reasoning in
F. Pfenning (Pittsburgh) semantic tableaux, proof systems for nonmonotonic
M. Rusinowitch (Nancy) logics, rewrite techniques in theorem proving,
J. Schumann (Munich) parallelization of deduction strategies,
N. Shankar (Menlo Park) resolution decision methods, constructive type
J. Slaney (Canberra) theory, the use of semantics in Herbrand-based
M. Stickel (Menlo Park) proof procedures, logical frameworks, and theorem
G. Sutcliffe (Townsville) proving by the inverse method. Tutorials may be
T. Tammet (Goeteborg) introductory, intermediate, or advanced.
A. Voronkov (Uppsala)
L. Wallen (Oxford)
C. Walther (Darmstadt)
D. Wang (Grenoble)
H. Zhang (Iowa City) 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 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/
----------------------------------------------------------------------------