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 Applications of Logic to Computer Science
Message-ID: <5554@utcsri.UUCP>
Date: Tue, 20-Oct-87 16:27:09 EDT
Article-I.D.: utcsri.5554
Posted: Tue Oct 20 16:27:09 1987
Date-Received: Wed, 21-Oct-87 05:45:41 EDT
Distribution: ut
Organization: CSRI, University of Toronto
Lines: 16

Date:         19 Oct 1987 15:48:44-EDT (Monday)
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:
     
Oct 20,  No meeting
     
Oct 27,  Rohit Parikh,  Some extensions of Kripke's theory of Truth
     
Nov 3, W. Zarodzny (IBM-YKT), 3 level semantics and its applications