Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!jarvis.csri.toronto.edu!utai!bart
From: bart@utai.UUCP
Newsgroups: ut.theory
Subject: hypersets
Message-ID: <4167@utai.UUCP>
Date: Tue, 1-Dec-87 16:09:14 EST
Article-I.D.: utai.4167
Posted: Tue Dec  1 16:09:14 1987
Date-Received: Fri, 4-Dec-87 02:17:52 EST
Organization: CSRI, University of Toronto
Lines: 13
Keywords: hypersets

Meeting of possible interest to theory students:
Research Meeting on Formal Methods in KR.
 
Next meeting: Wednesday, Dec. 2, 3pm to 4pm
              place: DCS seminar room

Jim des Rivieres will dicuss hypersets, an alternative to the Zermelo conception
of sets.  I put a copy of a paper describing hypersets in the AI-lab (KR-box).
-- Bart

-- 
\\\\ Bart Selman       University of Toronto    Department of Computer Science
//// !utcsri!utai!bart bart@ai.toronto.edu      416-978 4837