- Australian National University
- Catholic University of Leuven = Katholieke Universiteit Leuven
- Centre National de la Recherche Scientifique
- Czech Technical University in Prague
- Department of Formal Methods
- Designing the Future of Computational Models
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Graduate University for Advanced Studies [Hayama]
- Inria Nancy - Grand Est
- Institut National de Recherche en Informatique et en Automatique
- Institut de Recherche en Informatique Fondamentale
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- National Institute of Informatics
- Philipps Universität Marburg = Philipps University of Marburg
- Radboud University [Nijmegen]
- Royal Holloway [University of London]
- Stockholm University
- The Alan Turing Institute
- University College of London [London]
- University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
- University of Oxford
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Université Paris Cité
- Université de Bordeaux
- Université de Lorraine
- Vrije Universiteit Brussel [Bruxelles]
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)