bart@utai.UUCP (12/02/87)
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