Keynote Speakers for SARA'2002
"Model-Checking and Abstraction"
Bob Kurshan
"Spatiotemporal Abstraction of Stochastic Sequential Processes"
Co-Director, Autonomous Learning Lab
Associate Professor
Department of Computer Science
University of Massachusetts at Amherst
"Reformulation in Planning" (provisional title)
Department of Computer Science
University of Durham, UK
|
Last Modified: Wednesday, 15 May 2002 10:00
Robert Holteholte@cs.ualberta.ca