[Prev][Next][Index][Thread]
CADE-14 CFP: 2nd Call
[------ 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
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 (Darmstadt) 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/
----------------------------------------------------------------------------
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 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 (Darmstadt) 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/
----------------------------------------------------------------------------