Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site yetti.UUCP
Path: utzoo!mnetor!yetti!oz
From: oz@yetti.UUCP (Ozan Yigit)
Newsgroups: ont.events
Subject: Lectures at York - THIS THURSDAY (repost)
Message-ID: <432@yetti.UUCP>
Date: Tue, 28-Oct-86 00:48:44 EST
Article-I.D.: yetti.432
Posted: Tue Oct 28 00:48:44 1986
Date-Received: Tue, 28-Oct-86 10:50:15 EST
Reply-To: oz@yetti.UUCP (Ozan Yigit)
Distribution: ont
Organization: York University Computer Science
Lines: 52


                               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