ublications
ctivities
eaching
alks
nterests
ews
ponsors
ther
otes
Dirk Pattinson: Activities
DFG Grant on ``Domain Theoretic Methods for Solving Differential Equations''.
PC Member of the
7-th international Workshop of Coalgebraic Methods in Computer Science
NASSLLI 2003
course on coalgebras and modal logic.
co-organiser of the
16th International Workshop on Algebraic Development Techniques
(WADT 2002), be held in Frauenchiemsee, Sept. 2002.
Participation in the
DAAD
Project
Vigoni
.
Participation in the
DAAD
project
INIDA
.
co-organiser of the
spring school on categorical methods in logic and computer science
, Munich, March 1999.
Dirk Pattinson
(Friday, 07-Jan-2005 17:00:04 CET)
[validate HTML]
[validate CCS]