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.