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).