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