- Aalto University
- Australian National University
- Brunel University London [Uxbridge]
- Centre National de la Recherche Scientifique
- Centrum Wiskunde & Informatica
- Commonwealth Scientific and Industrial Research Organisation [Australia]
- Data61 [Canberra]
- Department of Formal Methods
- Département Informatique
- Inria Grenoble - Rhône-Alpes
- Inria Nancy - Grand Est
- Institut Galilée
- Institut Mines-Télécom [Paris]
- Institut National de Recherche en Informatique et en Automatique
- Institut de Recherche en Informatique Fondamentale
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Laboratoire Jean Kuntzmann
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Informatique de Paris-Nord
- Macquarie University
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- Modeling and Verification of Distributed Algorithms and Systems
- Modelling and Inference of Complex and Structured Stochastic Systems
- Méthodes et modèles pour les réseaux
- Nanyang Technological University [Singapour]
- Proof-oriented development of computer-based systems
- Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
- Technical University of Berlin | Technische Universität Berlin
- Technische Universität Munchen - Technical University Munich - Université Technique de Munich
- The University of Queensland
- Télécom SudParis
- University College of London [London]
- University of California
- University of California [Los Angeles]
- University of Groningen [Groningen]
- University of Kaiserslautern [Kaiserslautern]
- University of New South Wales [Sydney]
- University of Sheffield [Sheffield]
- University of Southern Denmark
- Università degli studi di Verona = University of Verona
- Universitá degli Studi dell’Insubria = University of Insubria [Varese]
- Université Grenoble Alpes [2016-2019]
- Université Paris 13
- Université Paris Diderot - Paris 7
- Université Sorbonne Paris Cité
- Université de Lorraine
- Uppsala University
- VERIMAG
- Vrije Universiteit Amsterdam [Amsterdam]