[ut.theory] Cornell Day at Wesleyan

arvind@utcsri.UUCP (Arvind Gupta) (03/25/87)

From: Sorin Istrail <MATH.S-ISTRAIL%KLA.WESLYN@wesleyan.bitnet>
Subject: Cornell Day at Wesleyan


                  CORNELL DAY AT WESLEYAN
     
                   SATURDAY, MAY 2, 1987
     
Talks and discussions led by a contingent of computer scientists
                   from Cornell University
     
             ***********************************
       9:30 a.m. Dexter Kozen
Definability by a Bounded Number of Bound Variables
     
      10:30 a.m. Coffee Break
     
      10:45 a.m. Robert Constable
Computation Theory as it Looks From Inside Constructive Type Theory
     
      11:45 a.m. Lunch
     
       1:30 p.m. Sam Toueg
Substituting for Real Time and Common Knowledge in Distributed Systems
     
      2:30 p.m.  John Gilbert
Parallel Graph Algorithms in Sparse Matrix Computation
     
      3:30 p.m. Tea,Fruit, and Cookies
     
      4:00 p.m. Juris Hartmanis
On One-Way Functions and the Isomorphism Conjecture
     
      6:30 p.m. Buffet Dinner
     
     
     
         The talks will be held in room 58 Science Center.
     
                ***********************************
     
   On Friday, May 1, Juris Hartmanis will give a lecture at 4 p.m.
in 150 Science Center intended for a general audience: "The Nature of
Computer Science as a Science".This talk will be followed by a reception
in the Woodhead Lounge at 5 p.m.  and then dinner at a local restaurant
at 6:30.  On Sunday there will be informal activities,including a morning
hike.
     
Assistance with local travel will be provided upon request; lodging is
available at a local motel, and sleeping bag space can be provided by
the hosts.
     
Cornell Day is hosted by Alan Cobham, Dan Dougherty, Sorin Istrail, and
Susan Landau, and is funded in part by Proctor and Gamble Co.
     
For further information contact the Wesleyan University Mathematics
Dept.at 203-347-9411, ext. 2398 or Susan Landau at ext.2484
(Landau@Weslyn.Bitnet)