Autzoo.1505
misc
utzoo!phyllis
Thu Mar 25 12:00:02 1982
DCS seminar list
Following is a list of the Dept. of Computer Science seminars for
the week of **MARCH 29th**:

Monday, March 29th, 4:00 P.M., MP134:  Prof. Tom Mitchell, "Learning
  problem solving heuristics through practice".

Tuesday, March 30th, 4:00 P.M., MP103:  Dr. Brian Smith, "Reflection
  and semantics in a procedural language (or:  1-, 2-, 3-Lisp)".
  [cookies and coffee will be served at 3:30 in MP1115.]

Thursday, April 1st, **2:00 P.M.**, MP202:  Prof. C.A.R. Hoare,
  "Specifications, programs, proofs, Part III" (NOTE:  Seminar provides
  further detail for those with a special interest).

Thursday, April 1st, 3:00 P.M., MP137:  Dr. Nezam Mahdavi-Amivi,
  "Generating nonlinear programming test problems".