Autzoo.1519
misc
utzoo!phyllis
Thu Apr  1 13:24:03 1982
DCS Seminar List

Following is a list of activities being held at the Dept. of Computer
Science during the week commencing **April 5th**

Monday, April 5th, 4:00 P.M., MP134:  Prof. Richard Rosenberg (UofT),
  "The New Robots:  The next chapter of people and (their) machines".
  [Cookies and coffee will be served at 3:30 P.M. in MP1115.]

Wednesday, April 7th, 4:00 P.M., MP203: Prof. Daniel Dougherty (Uof Maryland),
  "A lower bound on resolution theorem proving".

Thursday, April 8th, 4:00 P.M., MP134:  Mr. Kevin Karplus (Stanford Univ.),
  "CHISEL, an extension to C for VLSI layout".  [An abstract of this
  seminar is available in Room 336).