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.