1988-1997
Project coordinator for the Erasmus student exchange
programme D-1080
including universities in Bordeaux, Bristol, Bath,
Helsinki, funded by the European Community.
1989-92
German-French Project PROCOPE Théorie des
modèles et algèbre (Structures algébriques ordonnés),
French partner: Université Paris 7 (M. Dickmann). Funded by
DAAD.
1991-93
German-British Project ARC Scott domains,
British
partner: Imperial College, London (M. Smyth). Funded by DAAD.
1993-95
Project CLICS II Categories and Logic in Computer Science
within the framework ESPRIT-BRA (Subcontractor of CAIMENS, Paris)
funded by the European Community.
1993-95
Project A data base semantics via Scott domains
funded by DFG (Deutsche Forschungsgemeinschaft).
1995-98
German-British Project ARC A Constructive Approach to
Measure and Integration,
British partners: Imperial College, London
(A. Edalat), University of Birmingham (M. Kwiatkowska). Funded by
DAAD.
1996-98
German-Russian research exchange programme Universal
Horn logic and Ershov domains funded by DFG and RFFI.
Russian
partner: University of Novosibirsk (S. Goncharov, Y. Ershov).
1998-2002
Esprit Working Group Applied Semantics
funded by
the European Community.
1998-2002
Project Coordinator for a New Curriculum with an International
Orientation
Mathematics with Computer Science funded by
DAAD.
2001--03
German-Russian research exchange programme Bereichsähnliche Strukturen für Semantik und Berechenbarkeit
funded by DFG
and RFFI.
Russian partner: University of Novosibirsk (S. Goncharov,
Yu.L. Ershov, A. Morozov).
2003--05
Working Group Applied Semantics II
funded by
the European Community.
2007--09 German-Russian research exchange programme
funded by DFG and RFFI.
Russian partner: Siberian Branch of the
Russian Academy of Science, Novosibirsk
(Yu.L. Ershov, A. Morozov).
2007--09
German - South African research exchange programme
funded by DFG and ??.
South African partner: University of Cape Town
(Brattka, Kuenzi).
2011--2016
Mathematische Modelle für eine Semantik von
nichtdeterministischen und probabilistischen Phänomenen in der
Programmierung.
Funded by DFG (German Research Foundation).
2017--2020
Domain-Theorie in der Semantik und in der Theorie der
C(Stern)-Algebren.
Funded by DFG (German Research Foundation)