- Aix Marseille Université
- Boston University [Boston]
- Centre National de la Recherche Scientifique
- Department of Formal Methods
- Department of Mathematics
- Durham University
- Ecole Nationale Supérieure d'Ingénieurs de Bourges
- Eindhoven University of Technology [Eindhoven]
- Hiroshima University
- Inria Nancy - Grand Est
- Institut National de Recherche en Informatique et en Automatique
- Institut de Mathématiques de Marseille
- Institut Élie Cartan de Lorraine
- Institute of Cybernetics [Tallinn]
- Karlsruhe Institute of Technology
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Informatique Fondamentale d'Orléans
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
- Laboratoire de l'Informatique du Parallélisme
- Modèles de calcul, Complexité, Combinatoire
- Systèmes complexes, automates et pavages
- Tallinn University of Technology
- Theoretical adverse computations, and safety
- Universidad de Chile = University of Chile [Santiago]
- Universidade Presbiteriana Mackenzie
- Universiteit Leiden = Leiden University
- Universiteit Utrecht | Utrecht University [Utrecht]
- University of Groningen [Groningen]
- University of Turku
- Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
- Universität Zürich [Zürich] = University of Zurich
- Université Claude Bernard Lyon 1
- Université d'Orléans
- Université de Lorraine
- Université de Lyon
- Université de Montpellier
- Université de Tsukuba = University of Tsukuba
- Université libre de Bruxelles
- École Centrale de Marseille
- École normale supérieure de Lyon