[ut.theory] THEORY NET: Seminar in Applications of Logic to Computer Science

arvind@utcsri.UUCP (10/20/87)

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

arvind@utcsri.UUCP (11/18/87)

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