Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!godot.cc.duq.edu!newsgate.duke.edu!news.mathworks.com!newsfeed.internetmci.com!in1.uu.net!allegra!alice!felty
From: felty@bell-labs.com (Amy Felty)
Subject: CADE-13 Second Call for Participation
X-Nntp-Posting-Host: hunny.research.att.com
Message-ID: <FELTY.96Jun16174840@hunny.bell-labs.com>
Followup-To: comp.ai
Sender: usenet@research.att.com (netnews <9149-80593> 0112740)
Reply-To: felty@bell-labs.com
Organization: Bell Laboratories
Date: Sun, 16 Jun 1996 21:48:40 GMT
Lines: 36


        THE 13TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION

                CADE-13 Second Call for Participation

     30 July - 3 August, 1996, Rutgers University, New Jersey, USA


CADE-13 will be held as part of the Federated Logic Conference
(FLoC'96).  Complete advance program and registration information is
available on the web and by ftp.
    CADE on the Web: http://www.research.att.com/lics/FLoC/cade13/
    FLoC on the Web: http://www.research.att.com/lics/FLoC/
                     ftp://ftp.research.att.com/dist/floc/

The conference will be held 31 July - 3 August and will be preceded by
the following half-day workshops and tutorial on 30 July.

    WP-1: Term Schematizations and Their Applications
    WP-2: Visual Reasoning 
    WP-3: Automation of proofs by Mathematical Induction
    WP-4: Empirical Studies in Logic Algorithms
    WP-5: Mechanization of Partial Functions 
    WP-6: Proof Search in Type-Theoretic Languages
    WP-7: Tutorial: Equality Reasoning in Semantic Tableaux and Other
          Sequent-Based Calculi 

     +---------------------------------------------------------+
     |                                                         |
     |                       *DEADLINES*                       |
     |                                                         |
     | Early Registration                          21 Jun 1996 |
     | On-Campus Housing Reservation               21 Jun 1996 |
     | Hotel Reservation                           28 Jun 1996 |
     |                                                         |
     +---------------------------------------------------------+
