Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site utcsri.UUCP
Path: utzoo!utcsri!arvind
From: arvind@utcsri.UUCP (Arvind Gupta)
Newsgroups: ut.theory
Subject: Logic Seminar
Message-ID: <4478@utcsri.UUCP>
Date: Wed, 1-Apr-87 09:03:16 EST
Article-I.D.: utcsri.4478
Posted: Wed Apr  1 09:03:16 1987
Date-Received: Fri, 3-Apr-87 02:05:47 EST
Distribution: ut
Organization: CSRI, University of Toronto
Lines: 21

From: RIPBC%CUNYVM.BITNET@wiscvm.wisc.edu
Subject: SEMINAR ON APPLICATIONS OF LOGIC TO COMPUTER SCIENCE

    SEMINAR ON APPLICATIONS OF LOGIC TO COMPUTER SCIENCE
     
This seminar normally meets at the CUNY Graduate Center, 33 W 42nd St,
New York City, in room 1709 on Tuesdays from 11 AM to 12:30 PM.
     
April 7: Victor Pan, SUNY-Albany.
    Parallel Nested Dissection for Path Algebra Computations.
     
April 28: Peter Clote, Boston College.
    A Recursion Theoretic Characterisation of NC1
     
May 5: Bjarni Jonsson, Vanderbilt University.
    Special time: 4:30 PM, room 732. Topic TBA.
     
May 12: Laurie Kirby, Baruch College of CUNY.
    Incompleteness Theorems in Bounded Arithmetic.