Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!utcsri!arvind
From: arvind@utcsri.UUCP
Newsgroups: ut.theory
Subject: THEORY NET: Seminar in Appications of Logic to Computer Science
Message-ID: <5638@utcsri.UUCP>
Date: Mon, 9-Nov-87 14:05:27 EST
Article-I.D.: utcsri.5638
Posted: Mon Nov  9 14:05:27 1987
Date-Received: Tue, 10-Nov-87 02:36:58 EST
Distribution: ut
Organization: CSRI, University of Toronto
Lines: 15

Date:         6 Nov 1987 10:56:55-EST (Friday)
From: Rohit Parkih <RIPBC@cunyvm.bitnet>
Subject:      Seminar in Applications of Logic to Computer Science

     
     SEMINAR IN APPLICATIONS OF LOGIC TO COMPUTER SCIENCE
     
	This seminar meets at the City University Graduate Center, 33 W
42nd Street, New York, room 1223, Tuesdays from 11-12:30 (app). The next
meetings will be:
     
     
November 10,  Stathis Zachos,  Graph Isomorphism is Probably not NP-complete
     
November 17,  Jan Plaza, More on Extensions of Kripke's Theory of Truth