Autzoo.1490
misc
utzoo!phyllis
Fri Mar 19 11:14:10 1982
DCS seminar list
Following is a list of seminars being given at the Dept. of Computer
Science during the week commencing **March 22**:

Monday, March 22, 4:00 P.M., MP 134:  Dr. S. Micali, "How to hide
  a bit in a one-way function".

Tuesday, March 23, 4:00 P.M., MP103:  Dr. C.A.R. Hoare, "Specifications
  programs, proofs, Part 1" [Coffee and cookies will be served at
  3:30 in MP1115].

Wednesday, March 24, 4:00 P.M. MP203:  Dr. Michael Mills, "The
  language of images" [Coffee and cookies will be served at 3:30
  in MP1115].

Thursday, March 25, 4:00 P.M., MP137:  Dr. Bob Russell, "Spline
  bases for solving differential equations--various choices and
  their relative advantages".

Thursday, March 25, 4:00 P.M., MP134:  Dr. C.K. Wong, "Minimizing
  expected head movement in one-dimensional and two-dimensional
  mass storage systems".

Friday, March 26, **2:00 P.M.**, MP137:  Dr. C.A.R. Hoare,
  "Specificaltions, programs, proofs, Part II" [**after** the seminar,
  coffee and cookies will be served at 3:30 in MP1115].

Sounds like a very INTERESTING week!