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