- Centre National de la Recherche Scientifique
- Centrum Wiskunde & Informatica
- Centrum voor Wiskunde en Informatica
- Chennai Mathematical Institute [Inde]
- Chinese Academy of Sciences [Beijing]
- Czech Academy of Sciences [Prague]
- ESIEE Paris
- Eindhoven University of Technology [Eindhoven]
- Fédération de Recherche Bézout
- IMT Institute for Advanced Studies [Lucca]
- IT University of Copenhagen
- Imperial College London
- Institut Galilée
- Institut National de Recherche en Informatique et en Automatique
- Institut de mathématiques de Luminy
- Institute for Industrial Management [RWTH Aachen University]
- Institute of Informatics
- Justus-Liebig-Universität Gießen = Justus Liebig University
- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
- Laboratoire de l'Informatique du Parallélisme
- Microsoft Research
- Netherlands Organisation for Scientific Research
- Preuves et Langages
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Shanghai Jiao Tong University [Shanghai]
- Slovak Academy of Sciences
- Technical University of Berlin | Technische Universität Berlin
- Technical University of Ostrava [Ostrava]
- The University of Tokyo
- Tohoku University [Sendai]
- Tsinghua University [Beijing]
- Umeå University = Umeå Universitet
- Universiteit Utrecht
- Universiteit Utrecht | Utrecht University [Utrecht]
- University of Bamberg
- University of Debrecen
- University of Leicester
- University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
- University of Szeged [Szeged]
- University of Technology Sydney
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Università degli Studi di Salerno = University of Salerno
- Università degli studi di Genova = University of Genoa
- Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsburg [Allemagne]
- Université Claude Bernard Lyon 1
- Université Paris 13
- Université Paris Dauphine-PSL
- Université Paris Sciences et Lettres
- Université Paris-Est Marne-la-Vallée
- Université Sorbonne Paris Cité
- Université de Lyon
- Université de la Méditerranée - Aix-Marseille 2
- Warsaw University of Technology [Warsaw]
- École des Ponts ParisTech
- École normale supérieure - Cachan
- École normale supérieure de Lyon