Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from iris.eecs.ucdavis.edu by swan.cl.cam.ac.uk with SMTP (PP-5.6)
          id <06662-0@swan.cl.cam.ac.uk>; Wed, 4 Dec 1991 15:35:58 +0000
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.8.0) id AA16782;
          Wed, 4 Dec 91 07:33:19 -0800
Received: from iris.eecs.ucdavis.edu (iris.cs.ucdavis.edu)
          by toadflax.cs.ucdavis.edu (4.1/3.15) id AA06044;
          Wed, 4 Dec 91 07:33:15 PST
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.8.0) id AA16774;
          Wed, 4 Dec 91 07:33:00 -0800
Received: from hilbert.albany.edu by cssun.albany.edu (5.65/SMI-3.2)
          id <AA09127@cssun.albany.edu>; Wed, 4 Dec 91 10:30:02 -0500
Received: by hilbert.albany.edu (5.65/ALBANY_CS-1.1) id AA18038;
          Wed, 4 Dec 91 10:29:57 -0500
Date: Wed, 4 Dec 91 10:29:57 -0500
From: sally@edu.albany.cs (Sally Goodall)
Message-Id: <9112041529.AA18038@hilbert.albany.edu>
To: han@uk.ac.nott.psyc, hasegawa@jp.or.icot, hasker@edu.uiuc.cs,
    hcl@edu.ucdavis.aisb.ed.ac.uk, hecking@de.uni-sb.dfki, heisel@de.uka.ira,
    henschen@edu.nwu.eecs, herzig@fr.irit, hesketh%ed.ac.uk@uk.ac.nsf,
    hg@de.uni-sb.cs, hines@edu.utexas.ics.rascal, howe@edu.cornell.cs,
    hsiang@edu.sunysb.sbcs, huang@de.uni-kl.informatik,
    hzhang@edu.uiowa.cs.herky, igor%d245.icyb.kiev.ua@net.EU.USSR.relay,
    ih@uk.ac.nott.psyc, ikbsbb@uk.ac.rl.inf, imbert@fr.univ-mrs.gia,
    info-hol@edu.ucdavis.eecs.iris, inoue@jp.or.icot, ipg@uk.ac.warwick.dcs,
    jackson@com.mdc.mdcgwy, jameslu@edu.nwu.eecs, jar@au.oz.anu.arp,
    jean.goubault@fr.bull.frcl, jgw@org.mitre, jimc@edu.utexas.ics.rascal,
    jks@au.oz.anu.arp, jll@com.ibm
Subject: CADE-11: Call For Nominations


            11-th International Conference on Automated Deduction
                       Saratoga Springs, NY   USA
                            June 15-18, 1992





                         CALL FOR NOMINATIONS FOR

                     DISTINGUISHED CONTRIBUTIONS AWARD




    The International Conference on Automated Deduction (CADE) is
    the main international research forum covering all aspects of
    automated deduction.

    CADE is pleased to announce the establishment of a
    DISTINGUISHED CONTRIBUTIONS AWARD to honor an individual or
    (a group of) individuals for exceptional contributions to the
    field of automated deduction.

    Nominations for this award can be made at any time to the CADE
    program committee chair. To be considered for an award to be
    presented at CADE-11, nominations should be sent by January 20,
    1992 to

                Deepak Kapur
                Chair, CADE-11
                Institute for Programming and Logics
                Department of Computer Science  LI67A
                University at Albany - SUNY
                Albany, NY 12222
                kapur@cs.albany.edu



    Nominations should include a letter (up to 2000 words) from a principal
    nominator describing the nominee's contributions, along with two other
    letters (up to 2000 words) of endorsement.





                             PROGRAM COMMITTEE

   Peter Andrews           Larry Henschen            William McCune
   Wolfgang Bibel          Deepak Kapur              Grigori Mints
   W.W. Bledsoe            Claude Kirchner           David Musser
   Robert S. Boyer         Kurt Konolige             Hans-Juergen Ohlbach
   Alan Bundy              Jean-Louis Lassez         David Plaisted
   Edmund Clarke           Vladimir Lifschitz        Joerg Siekmann
   Robert Constable        Donald Loveland           John Slaney
   Ryuzo Hasegawa          Ewing Lusk                Mark Stickel