- Aix Marseille Université
- Bioinformatique (LRI)
- Brock University [Canada]
- Calcul Naturel
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Consejo Superior de Investigaciones Cientificas [España] = Spanish National Research Council [Spain]
- Department of Formal Methods
- Designing the Future of Computational Models
- Inria Nancy - Grand Est
- Inria Saclay - Ile de France
- Institut National de Recherche en Informatique et en Automatique
- Institut de Recherche en Informatique Fondamentale
- Institut Élie Cartan de Lorraine
- Justus-Liebig-Universität Gießen = Justus Liebig University
- Karlsruhe Institute of Technology
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
- Laboratoire de Recherche en Informatique
- Modeling and Exploitation of Interaction and Concurrency
- Universiteit Gent = Ghent University
- University of Turku
- Università degli Studi di Milano = University of Milan
- Université Paris Diderot - Paris 7
- Université Paris-Sud - Paris 11
- Université de Lorraine
- Université de Toulon
- École normale supérieure - Cachan
- École normale supérieure de Lyon