CThe COMPASS Working Group

(only team leaders are listed; the numbers indicate partnership in COMPASS 1 and 2, resp.)

AARHUS UNIVERSITET, DK (2)
Peter Mosses

UNIVERSITAT POLITECNICA DE CATALUNYA, BARCELONA, E (1, 2)
Fernando Orejas

TECHNISCHE UNIVERSITÄT BERLIN, D (1, 2)
Hartmut Ehrig, Peter Pepper

TECHNISCHE UNIVERSITÄT BRAUNSCHWEIG, D (1, 2)
Hans-Dieter Ehrich, Martin Gogolla[1]

UNIVERSITÄT BREMEN, D (1, 2)
Bernd Krieg-Brückner (Coordinator), Hans-Jörg Kreowski

TECHNISCHE UNIVERSITÄT DRESDEN, D (2)
Horst Reichel

UNIVERSITY OF EDINBURGH, UK (1, 2)
Rod Burstall, Don Sannella

DIP. MAT., UNIVERSITÁ DI GENOVA, I (1, 2)
Egidio Astesiano

UNIVERSITÁ DI ROMA, I (2)[2]
Francesco Parisi-Presicce

INESC, LISBOA, P (2)
Amilcar Serñadas

TECHNISCHE UNIVERSITÄT MÜNCHEN, D (1, 2)
Manfred Broy

CRIN, NANCY, F (1, 2)
Pierre Lescanne, Hélène Kirchner

B-FAC., UNIVERSITY OF NIJMEGEN, NL (1)
Helmut Partsch

IFI, UNIVERSITY OF OSLO, N (2)
Ole-Johan Dahl, Olaf Owe, Sigurd Meldal[4]

OXFORD UNIVERSITY, UK (2)
Joseph Goguen

LRI-URA 410, UNIVERSITE DE PARIS SUD, F (1, 2)
Marie-Claude Gaudel, Jean-Pierre Jouannaud

LIENS, ECOLE NORMALE SUPERIEURE, PARIS, F (2)
Michel Bidoit

FORWISS, LMU MÜNCHEN, D (1, 2)[3]
Martin Wirsing

MPI INFORMATIK, SAARBRÜCKEN, D (1, 2)[5]
Harald Ganzinger

INST. OF COMPUTER SCIENCE, PAS, WARSAW, PL (2)[6]
Andrzej Tarlecki