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)