Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!sri-spam!ames!sdcsvax!ucbvax!ANL-MCS.ARPA!stevens
From: stevens@ANL-MCS.ARPA.UUCP
Newsgroups: comp.ai.digest
Subject: Conference - CADE-9: Automated Deduction
Message-ID: <8706160107.AA11707@anl-mcs.ARPA>
Date: Mon, 15-Jun-87 21:07:49 EDT
Article-I.D.: anl-mcs.8706160107.AA11707
Posted: Mon Jun 15 21:07:49 1987
Date-Received: Sat, 20-Jun-87 01:05:22 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 46
Approved: ailist@stripe.sri.com



		
		
		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