stevens@ANL-MCS.ARPA.UUCP (06/16/87)
Preliminary Announcement and Call for Papers
9th International Conference on Automated
Deduction
May 23-26, 1988
CADE-9 will be held at Argonne National Laboratory (near
Chicago) in celebration of the 25th anniversary of the
discovery of the resolution principle at Argonne in the sum-
mer of 1963. Papers are invited in the following or related
fields:
Theorem Proving Logic Programming
Unification Deductive Databases
Term Rewriting ATP for Non-Standard Logics
Program Verification Inference Systems
The Program Committee includes:
Peter Andrews Hans-Jorgen Ohlbach
W.W. Bledsoe Ross Overbeek
Alan Bundy William Pase
Seif Haridi Jorg Siekmann
Larry Henschen Jim Williams
Jean-Louis Laissez Mark Stickel
Dallas Lankford
Ewing Lusk
Michael MacRobbie
Papers should be sent to arrive before November 23rd, 1987
to
Ewing Lusk and Ross Overbeek, chairmen
CADE-9
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, IL 60439