[ut.theory] Logic Seminar

arvind@utcsri.UUCP (Arvind Gupta) (04/01/87)

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.