|
| ublications
ctivities
eaching
alks
nterests
ews
ponsors
ther
otes
|
|
Dirk Pattinson: Teaching
I participated in teaching the following courses:
- Temporale Logik (Temporal Logic),
winter term 2003/2004.
- An Introduction to the Theory of Coalgebras,
Course at the
NASSLLI Summer School,
summer 2003.
- Informatik II
(Object Oriented Programming), summer term 2003
- Informatik I
(Functional Programming), winter term 2002/2003
-
Systeme und Anwendungen
(Systems and Applications), summer term 2002.
- An Introduction to Category Theory and Logic, seminar at the
Department of Computer
Science, Monash
University, Australia.
-
Programmierung und Software Entwicklung
(Programming and Software Developement), winter term
2001/2002
- Informatik IV
(Introduction to Theoretical Computer Science), summer term 2001
- Informatik II
(Object Oriented Programming), summer term 2000
- Informatik I
(Functional Programming), winter term 1999/2000
- Process Algebra,
summer term 1999
- Categorical Logic and Semantics,
seminar, winter term 1998/1999
|