james@yetti.UUCP (10/03/86)
The Department of Computer Science, York University,
welcomes you to the following distinguished lecture series:
Thursday October 30, 1986
10:00 Professor John Hopcroft, Cornell University
"Representing, Reasoning About and Manipulating
Objects by a Computer - An Overview"
11:00 Professor Robert Tarjan, Princeton University
"New Themes in Data Structure Design"
02:00 Professor Stephen Cook, University of Toronto
"Feasibly Constructive Proofs"
03:00 Professor Silvio Micali, MIT
"Proofs that Release Minimum Knowledge and
Applications"
The lectures are open to the public. Coffee will be served
at 9:30 AM. Lectures will be held in Administrative Studies
Building, Room 038.
Directions to York University: From Highway 401 take the
Keele Street exit, go north on Keele about 4km to St.
Lawrence Blvd. and turn left into the campus. If you go by
TTC, take the University/Spadina subway to Wilson then take
York University bus 106.
Parking: The closest lot to Administrative Studies Building
is Lot J. Consult the parking attendant on St. Lawrence
Bldv. for directions to this lot.