Schedule for the Fall 2002 SPAM

Sept 18

Paul Hudak:
Describing and Interpreting Music in Haskell

Sept 25

Carsten Schürmann:
Towards Proof Planning in Logical Frameworks

Oct 9

Martin Sulzmann:
Declarative Type Debugging

Oct 16

John Peterson:
A Language for Mathematical Visualization

Oct 30

Sebastian Nanz:
Verified Proof Carrying Code

Nov 13

Paul Hudak:
Yampa, Arrows, and Robots, part I

Nov 20, 9:30am, 200 AKW

Paul Hudak:
Yampa, Arrows, and Robots, part II

Nov 20

Bryan Ford:
So You Want OS Hackers to Write Proofs?