Theory of 2-structures
G. Rozenberg
Leiden, Fall 1996
Formal languages and automata 2
J. Engelfriet
Leiden, Fall 1996
Theory of concurrency 2
H.C.M. Kleijn
Leiden, Fall 1996
Diophantine approximations
J.-H. Evertse
Leiden, Spring 1997
De Rham cohomology
J. Bochnak
Amsterdam, Spring 1997
Infinte-dimensional topology
J. van Mill
Amsterdam, Spring 1997
Graph grammars
J. Engelfriet
Leiden, Spring 1997
Seminar DNA computing
H.J. Hoogeboom
Leiden, Spring 1997
Descriptive set theory and topology 
M. van Lambalgen
Amsterdam, Spring 1997
Seminar Number theory
P. Stevenhagen, B. de Smit
various places, 1996/1997
is a course offered at a national scale by the
Graduate School in Logic.