sally@cs.albany.edu (Sally Goodall) (06/11/91)
11-th International Conference on Automated Deduction
Saratoga Springs, NY USA
June 15-18, 1992
CALL FOR PAPERS
CADE is the major research forum covering all aspects of automated
deduction. Original papers in automated deduction (for nonclassical as
well as classical logics) are invited; specific topics of interest
include (but are not limited to):
Applications Induction Program Synthesis
Commonsense Reasoning Inference Systems Rewrite Rules
Deductive Databases Logic Programming Theorem Proving
Decision Procedures Program Verification Unification Theory
CADE-11 will be held at the Ramada Renaissance Hotel in Saratoga
Springs, NY and will be hosted by the State University of New York at
Albany. Saratoga Springs is located about 25 miles north of Albany.
Original research papers, descriptions of working reasoning systems,
and problem sets that provide innovative, challenging tests for
automated reasoning systems, are solicited. Research papers should not
exceed 7000 words in length (15 proceeding pages, 5.5 X 8 inches, 11
point type, will be allotted). System descriptions and problem sets
should be limited to five proceeding pages.
The title page of the submission should include author's name,
address, phone number, and email address. Papers must be unpublished
and not submitted for publication elsewhere. Submissions that are
late, too long, or that require major revision, will not be
considered.
Submission deadline: Nov. 8, 1991
Notification of acceptance: Feb. 1, 1992
Camera-ready copy due: March 16, 1992
Authors should send 6 copies of their submission to the Program Chair
at the Conference address.
Further information about the conference may be obtained from the
Local Arrangements Chair at the Conference address.
Program Chair: Deepak Kapur (518) 442-4281
cade11@cs.albany.edu
Local Arrangements Chair: Neil V. Murray (518) 442-3393
cade11@cs.albany.edu
Conference Address: CADE-11
Institute for Programming and Logics
Department of Computer Science LI67A
University at Albany - SUNY
Albany, NY 12222
PROGRAM COMMITTEE
Peter Andrews Larry Henschen William McCune
Wolfgang Bibel Deepak Kapur Grigori Mints
W.W. Bledsoe Claude Kirchner David Musser
Robert S. Boyer Kurt Konolige Hans-Juergen Ohlbach
Alan Bundy Jean-Louis Lassez David Plaisted
Edmund Clarke Vladimir Lifschitz Joerg Siekmann
Robert Constable Donald Loveland John Slaney
Ryuzo Hasegawa Ewing Lusk Mark Stickel