PROLOG-REQUEST@SUSHI.STANFORD.EDU (Chuck Restivo, The Moderator) (06/21/87)
PROLOG Digest Monday, 22 Jun 1987 Volume 5 : Issue 41
Today's Topics:
Query - Prover Availability,
Announcement - CADE9 Call for Papers
----------------------------------------------------------------------
Date: Thu 11 Jun 87 13:59:56-CDT
From: Loren Terveen <cs.terveen@R20.UTEXAS.EDU>
Subject: prover
Last summer or fall someone posted a message to the net describing a
full first-order logic theorem prover written in Prolog, and gave an
address from which it could be ftp'd.
Would the author please re-post the address to the Digest?
-- Loren Terveen
------------------------------
Date: Mon, 15 Jun 87 21:05:28 cdt
From: Rick L. Stevens <stevens@anl-mcs.ARPA>
Subject: CADE-9 Call for Papers
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
Dallas Lankford Mark Stickel
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
------------------------------
End of PROLOG Digest
********************