Schedule for Spring 2003 SPAM

* Wednesday, Jan 22, 3:30pm, 500 AKW
Michael Kohlhase:
Capturing the Content of (Computer) Science in Digital Libraries

(Host: Carsten Schürmann)

* Mar 28
Michel Charpentier:
Compositional Reasoning in UNITY-like Formalisms

* Apr 4
John Peterson:
A Programming Language For Mathematics Education

* Apr 11
Henrik Nilsson:
Functional Automatic Differentiation with Dirac Impulses