University of Toronto
Department of Computer Sciences Colloquia

A Series of Distinguished Lectures on Computer Science:
Its Theory, Practice, Applications and Implications


September 1998 to May 1999
http://www.cs.toronto.edu/colloq/1998

Unless indidated otherwise, All lectures take place on Tuesdays from 11:15 a.m. to noon in Sandford Fleming 1105, 10 King's College Road. Coffee, tea, and cookies will be served in the area outside of the lecture room from 11:00 to 11:15.



October 13, 1998
Joseph Halpern, Cornell
Plausibility Measures and Default Reasoning

November 3, 1998
Mart Molle, University of California at Riverside
The Evolution of Ethernet: Research Issues and Non-Issues

November 19, 1998
Michael Cohen, Microsoft Research
(NOTE: Thursday, 4pm, WB 116)
Will Digital Actors Need Agents?

December 8, 1998
Ken Salem, University of Waterloo
Array Databases

February 8, 1998
Bill Reeves, Pixar
(NOTE: Monday, 4:15pm, refreshments at 3:45pm
MS 2158, also known as the J.R. Mcleod Auditorium)
The Making of A Bug's Life -- An Epic of Miniature Proportions

February 23, 1999
Alan Mackworth, University of British Columbia
The Dynamics of Intelligence:
A Constraint-Based Architecture for Situated Visual Agents

March 2, 1999
Moshe Vardi, Rice University
Automated Verification = Graphs, Automata, and Logic



Updated October 2, 1998. This page is maintained by Michiel van de Panne