Schedule for the Spring 2006 SPAM

* Friday, January 27, 12:30pm, 200 AKW
Gregory Warnes:
OpenStatServer: Deploying Custom Statistical Computation to Scientific Clients

(Host: Martin Schultz)

* Friday, February 3, 12:30pm, 200 AKW
Christian Stefansen:
A Declarative Framework for Enterprise Systems

(Host: Zhong Shao)

* Friday, March 10, 12:30pm, 200 AKW
Liwen Huang:
Dependent Type Programming for Safe Dance

(Host: Paul Hudak)

* Friday, March 31, 12:30pm, 200 AKW
Charles Stewart:
Proof theory for SPAMmers

(Host: Zhong Shao)