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)