Keynote Speakers for SARA'2002


"Model-Checking and Abstraction"

Bob Kurshan


"Spatiotemporal Abstraction of Stochastic Sequential Processes"

Sridhar Mahadevan

Co-Director, Autonomous Learning Lab
Associate Professor
Department of Computer Science
University of Massachusetts at Amherst

"Reformulation in Planning" (provisional title)

Derek Long


Department of Computer Science
University of Durham, UK




Last Modified: Wednesday, 15 May 2002 10:00
Robert Holteholte@cs.ualberta.ca