- Airbus Group Innovations [Suresnes]
- Airbus [France]
- Budapest University of Technology and Economics [Budapest]
- Carnegie Mellon University [Pittsburgh]
- Centre National de la Recherche Scientifique
- Chinese Academy of Sciences [Beijing]
- Concurrency, Mobility and Transactions
- Construction of verified concurrent systems
- Danmarks Tekniske Universitet = Technical University of Denmark
- Ecole Pour l'Informatique et les Techniques Avancées
- Eindhoven University of Technology [Eindhoven]
- European Organization for Nuclear Research
- Exformatics [Copenhagen]
- Georgetown University [Washington]
- Hungarian Academy of Sciences
- IMT Institute for Advanced Studies [Lucca]
- IT University of Copenhagen
- Imperial College London
- Inria Grenoble - Rhône-Alpes
- Inria Saclay - Ile de France
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute of Software Chinese Academy of Sciences [Beijing]
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris 6
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire de Recherche et de Développement de l'EPITA
- Modélisation et Vérification
- National Institute for Subatomic Physics [Amsterdam]
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Saarland University [Saarbrücken]
- State Key Laboratory of Computer Science [Beijing]
- Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
- Technische Universität Munchen - Technical University Munich - Université Technique de Munich
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- University of Kaiserslautern [Kaiserslautern]
- University of Oviedo
- University of Pennsylvania
- University of Southampton
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Université Joseph Fourier - Grenoble 1
- Université Paris Nanterre
- Université Pierre Mendès France - Grenoble 2
- Université Pierre et Marie Curie - Paris 6
- VERIMAG
- Vrije Universiteit Amsterdam [Amsterdam]
- École polytechnique