Schedule for the Fall 2006 SPAM

Friday, October 6, 12:30pm, 200 AKW

Ashish Agarwal:
A Type System for Mathematical Programming
(Host: Zhong Shao)

Friday, October 20, 12:30pm, 200 AKW

Andreas Savvides:
The BehaviorScope Project: Interpreting Behaviors in Physical Space using Distributed Sensor Networks
(Host: Zhong Shao)

Friday, October 27, 12:30pm, 200 AKW

Aleks Nanevski:
Hoare Type Theory
(Host: Zhong Shao)