arvind@utcsri.UUCP (11/09/87)
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