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