phyllis (01/05/83)
UofT Department of Computer Science Seminar Schedule for the week of January 10, 1983 Tuesday, January 11th, 4:00 P.M., SF1105: Professor Marc Graham, Georgia Institute of Technology, Atlanta, GA: "Logic and Databases". Thursday, January 13th, 3:00 P.M., GB248: Professor George Cybenko, Dept. of Mathematics, Tufts University, Medford, MA: "Eigenvalue problems in signal processing".
phyllis (01/20/83)
UofT Department of Computer Science Seminar Schedule for the week of January 24th Tuesday, January 25th, 4:00 P.M., SF1105: Professor Ric Holt, CSRG, UofT: "The Turing Programming Language". [Coffee and cookies will be served at 3:30 in SF3205.] Thursday, January 27th, 3:00 P.M., GB248: Dr. Dugald B. Duncan, Mathematics and Computation Branch, Atomic Energy of Canada, Chalk River Nuclear Laboratories, "A Petrov-Galerkin method for the approximate solution of a class of hyperbolic conservation laws". Thursday, January 27th, 4:00 P.M., GB120: Graeme Hirst, Computer Science Dept., Brown University: "Word sense and case slot disambiguation in formal semantics for natural language understanding". (Next week's schedule will not be posted since I will be in San Diego at UNICOM.)
phyllis (02/03/83)
UofT Department of Computer Science Seminar Schedule for the week of February 7, 1983 Monday, February 7th, 4:00 P.M., GB119: Professor Richard Vilson, Dept. of Mathematics, California Institute of Technology, Passadena: "Inequalities for T-designs". Wednesday, February 9th, 4:00 P.M., GB248: Professor Bernd Neumann, Computer Science Department, UofT (Visiting from the University of Hamburg): "Event models for real-world image sequences". Thursday, February 10th, 3:00 P.M., GB248: Professor Ken Jackson, Computer Science Department, UofT: "Nonlinearly preconditioned Kyrlov subspace methods for discrete-Newton algorithms" (joint work with Tony Chan).
phyllis (02/09/83)
UofT Department of Computer Science Seminar Schedule for the Week of February 14th, 1983 Tuesday, February 15th, 4:00 P.M., SF1105: Professor Takeo Kanade, Computer Science Department Carnegie-Mellon University: "Research on image understanding and robot manipulator". [Coffee and cookies at 3:30 in SF3205.] Wednesday, February 16th, 4:00 P.M., GB248: Dan Field, EE/Computer Science Department, Princeton University: "Algorithms for drawing simple geometric objects on raster devices".
phyllis (02/23/83)
UofT Department of Computer Science Seminar Schedule for the week of February 28, 1983 Monday, February 28th, 4:00 P.M., GB119: Professor Bengt Aspvall, Department of Computer Science, Cornell University, Ithaca, N.Y.: "Graph coloring using eigenvalue decomposition".
phyllis (03/02/83)
UofT Department of Computer Science Seminar Schedule for the week of March 7th Tuesday, March 8th, 4:00 P.M., SF1105: Avi Wigderson, Department of Electrical Engineering and Computer Science, Princeton University, "Depth vs width tradeoffs in parallel computations". Thursday, March 10th, 3:00 P.M., GB248: Dr. George Byrne, Computing Technology and Services, Exxon Research and Engineering Company, Linden, New Jersey, "Research on using continuation to solve distillation models". (This work was done jointly with Lynn A. Baird.)
phyllis (03/09/83)
University of Toronto Department of Computer Science Seminar Schedule for the week of March 14th Tuesday, March 15th, 4:00 P.M., SF1105: Mr. Warwick Ford, Commonwealth Scientific & Industrial Research Organization, Melbourne, Australia: "Portable implementation of network architecture layers". [Coffee and cookies will be served at 3:30 P.M. in SF3205.] Thursday, March 17th, 4:00 P.M., SF1101: Dr. David Israel, Bolt Beranek & Newman Inc., Cambridge, Mass.: "Some remarks on the role of logic in artifical intelligence".
phyllis (03/15/83)
UofT Department of Computer Science Seminar Schedule for the week of March 21 (Spring), 1982 Tuesday, March 22nd, 4:00 P.M., SF1105: Professor Bernie Galler, Computer Science Department, University of Michigan, "An author support system". [Coffee and cookies will be served at 3:30 in SF3205.] Tuesday, March 22nd, 4:00 P.M., **Medical Sciences Auditorium** Professor David Hubel (Winner of 1981 Nobel Prize in Medicine): "Vision, colour and the cortex". Thursday, March 24th, 4:00 P.M., SF1101: Ms. Jeannette M. Wing, MIT: "A two-tiered approach to specifying programs".
phyllis@utcsrgv.UUCP (Phyllis Eve Bregman) (06/06/83)
UofT Department of Computer Science Seminar Schedule for the week of June 6th, 1983 Thursday, June 9th, 4:00 P.M., SF4101: Dr. Moshe Y. Vardi, Computer Science Department, Stanford University, Stanford, California: "On the semantics of updates in databases". ABSTRACT: We suggest here a methodology for updating databases with integrity constraints and rules for deriving inexplicit information. First we consider the problems of updating arbitrary theories by inserting into them or deleting from them arbitrary sentences. The solution involves two key ideas: when replacing an old theory by a new one we wish to minimize the change in the theory, and when there are several theories that involve minimal changes, we look for a new theory that reflects that ambiguity. The methodology is also adapted to updating databases, where different facts can carry different priorities, and to updating user views.