mam@arp.anu.oz.au (Michael McRobbie) (05/19/89)
10th International Conference on Automated Deduction
West Germany
July 23-27, 1990
Call for Papers
CADE is the major forum at which research on all aspects of automated
deduction can be presented. Papers on automated deduction (for classical
and nonclassical logics) in the following and related fields are invited:
Theorem Proving Decision Procedures Logic Programming
Unification Program Verification/Synthesis Inference Systems
Term Rewriting Deductive Databases Applications
Program Committee
Peter Andrews Claude Kirchner William Pase
Wolfgang Bibel Jean-Louis Lassez Lawrence Paulson
W.W. Bledsoe Donald Loveland Fernando Pereira
Alan Bundy Ewing Lusk David Plaisted
Robert Constable Michael McRobbie Joerg Siekmann
Jean-Pierre Jouannaud Dale Miller Mark Stickel, Chairman
Deepak Kapur Hans Juergen Ohlbach Richard Waldinger
Matt Kaufmann Ross Overbeek Christoph Walther
Original research papers (up to 5,000 words; 15 proceedings pages, 6 X 9
inches, 12 point type, will be allotted) are solicited. Also solicited
are system summaries that describe working reasoning systems (2
proceedings pages) and problem sets that provide realistic, interesting
challenges for automated reasoning systems (5 proceedings pages). The
title page of the submission should include author's name, address,
phone number, and E-mail address. Papers must be unpublished and not
submitted for publication elsewhere. Late papers and papers that
require major revision, including submissions that are too long, will be
rejected.
Submission receipt deadline: November 27, 1989
Author notification date: February 15, 1990
Camera-ready copy receipt deadline: April 2, 1990
Six paper copies should be sent to arrive by November 27, 1989 to
Mark E. Stickel
Artificial Intelligence Center
SRI International
333 Ravenswood Avenue
Menlo Park, CA 94025 U.S.A.
Inquiries about CADE can also be sent by electronic mail to
Stickel@AI.SRI.COM
*************************** PLEASE POST ***************************