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