phyllis (04/04/83)
UofT Department of Computer Science Seminar Schedule for the week of April 4, 1983 Monday, April 4th, 4:00 P.M., SF1105: Professor Silvio Micali, Computer Science Department, University of Toronto: "Randomness games and secrets". Tuesday, April 5th, 4:00 P.M., SF1105: Mr Richard Waldinger, Stanford Research Institute, Stanford University: "A deductive approach to program synthesis". [Prior to the Colloquium, coffee and cookies will be served at 3:30 in SF3205.] Wednesday, April 6th, 4:00 P.M., GB248: Mr. Keith Marzullo, Computer Systems Laboratory, Stanford University: "Maintaining the time in a distributed system". Thursday, April 7th, 3:00 P.M., GB248: Professor Allan Jepson, Computer Science Dept., University of Toronto: "Asymptotic boundary conditions for singular two-point boundary value problems". Thursday, April 7th, 4:00 P.M., SF1101: Professor Neil Ostlund, Computer Science Department, University of Waterloo: "WATERLOOPS: New resources for experimentation in parallel processing".