oz@yetti.UUCP (Ozan Yigit) (10/28/86)
YORK UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
DISTINGUISHED LECTURE SERIES
Sponsored by the Department of Computer Science and the Faculty of Arts
Thursday October 30, 1986
10:00 Prof. John Hopcroft
Cornell University
Representing, Reasoning About and Manipulating Objects by a
Computer - An Overview
11:00 Prof. Robert Tarjan
Princeton University
New Themes in Data Structure Design
2:00 Prof. Stephen Cook
University of Toronto
Feasibly Constructive Proofs
3:00 Prof. Silvio Micali
MIT
Proofs that Release Minimum Knowledge and Applications
Coffee will be served at 9:30 a.m.
Lectures will be held in Administrative Studies Building, Room 038.
The lectures are open to the public.
DIRECTIONS TO YORK UNIVERSITY:
Campus by car. From Highway 401 take the Keele Street exit, go north
on Keele about 4km to St. Lawrence Blvd. and turn left into the campus.
Parking: The closest parking lot to Administrative Building is Lot J.
Consult the parking attendant on St. Lawrence Blvd. for directions
to this lot.
Public Transit: Take the University/Spadina subway to Wilson then take
York University bus #106.
--
The best way to have a Usenet: [decvax|ihnp4]!utzoo!yetti!oz
good idea is to have a Bitnet: oz@[yusol|yuyetti].BITNET
lot of ideas. Phonet: [416] 736-5053 x 3976