| Institution |
Lead Researchers |
Country |
| Technische Universität Darmstadt |
|
Germany |
| Chalmers University of Technology, Gothenburg |
Wolfgang Ahrendt |
Sweden |
| Universitetet i Oslo |
Einar Broch Johnsen,
Martin Steffen |
Norway |
| Kungliga Tekniska Högskolan, Stockholm |
Mads Dam
Dilian Gurov
Karl Meinke |
Sweden |
Universidad Politécnica de Madrid &
IMDEA Software |
German Puebla
Samir Genaim
Gilles Barthe
Manuel Hermenegildo
Elvira Albert
Puri Arenas |
Spain |
| Universität Kaiserslautern |
Arnd Poetzsch-Heffter
Yannick Welsch |
Germany |
| Università di Bologna |
Davide Sangiorgi
Cosimo Laneve |
Italy |
| Centrum voor Wiskunde en Informatica, Amsterdam |
Frank de Boer |
The Netherlands |
| Norsk Regnesentral, Oslo |
Bjarte Østvold
Anders Moen Hagalisletto |
Norway |
| Fredhopper, Amsterdam |
Nikolay Diakov
Peter Wong |
The Netherlands |
| Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern |
Karina Villela |
Germany |
| Katholieke Universiteit Leuven |
Dave Clarke
Frank Piessens |
Belgium |
| Institute of Cybernetics |
Tarmo Uustalu
Peeter Laud
Keiko Nakata |
Estonia |
