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: <5679@utcsri.UUCP>
Date: Wed, 18-Nov-87 15:25:25 EST
Article-I.D.: utcsri.5679
Posted: Wed Nov 18 15:25:25 1987
Date-Received: Fri, 20-Nov-87 22:30:31 EST
Distribution: ut
Organization: CSRI, University of Toronto
Lines: 17

Date:         12 Nov 1987 17:45:44-EST (Thursday)
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 17,  Jan Plaza, More on Extensions of Kripke's Theory of Truth
     
November 24, Dana Latch,  Automated Induction Proofs in Functional
    Programming: A Boyer-Moore Approach