Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!uunet!husc6!rutgers!bellcore!faline!ulysses!ucbvax!ANL-MCS.ARPA!stevens From: stevens@ANL-MCS.ARPA (Rick L. Stevens) Newsgroups: comp.ai.digest Subject: Conference - CADE-9 Automated Deduction Message-ID: <8711041845.AA18378@anl-mcs.ARPA> Date: Wed, 4-Nov-87 13:45:07 EST Article-I.D.: anl-mcs.8711041845.AA18378 Posted: Wed Nov 4 13:45:07 1987 Date-Received: Sun, 8-Nov-87 11:42:50 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 66 Approved: ailist@kl.sri.com Final 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 consists of: Peter Andrews Ewing Lusk W.W. Bledsoe Michael MacRobbie Alan Bundy Hans-Jorgen Ohlbach Robert Constable Ross Overbeek Seif Haridi William Pase Larry Henschen Jorg Siekmann Deepak Kapur Mark Stickel Dallas Lankford Jim Williams Jean-Louis Lassez Papers are solicited in three categories: Long papers: 20 pages, about 5000 words Short papers: 10 pages, about 2500 words Extended Abstracts of Working Systems: 2 pages Problem sets: 5 pages Long papers are expected to present substantial research results. Short papers are a forum for briefer presentations of the results of ongoing research. Extended abstracts are descriptions of existing automated reasoning systems and their areas of application. Problem sets should present a complete, formal representation of some collection of interesting problems for automated systems to attack. The problems should currently unavailable in the existing literature. Three copies 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 9700 South Cass Avenue Argonne, IL 60439 Schedule: November 23, 1987: papers due January 25, 1988: notification of authors February 21, 1988: final manuscripts due Questions should be directed to E. L. Lusk (lusk@anl- mcs.arpa, phone 312-972-7852) or Ross Overbeek (overbeek@anl-mcs.arpa, phone 312-972-7856)