- Aarhus University [Aarhus]
- Alma Mater Studiorum Università di Bologna = University of Bologna
- Assistance à la Certification d’Applications DIstribuées et Embarquées
- Australian National University
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- Cap Gemini [Amsterdam]
- Centre National de la Recherche Scientifique
- Centrum Wiskunde & Informatica
- Cluster of Excellence Multimodal Computing and Interaction
- Czech Academy of Sciences [Prague]
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
- ESIEE Paris
- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
- Federal University of Goiás [Jataí]
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Fédération de Recherche Bézout
- Graz University of Technology [Graz]
- Institut National Polytechnique (Toulouse)
- Institut National Polytechnique de Lorraine
- Institut National de Recherche en Informatique et en Automatique
- Institut de recherche en informatique de Toulouse
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
- Laboratoire de l'Informatique du Parallélisme
- Logic, proof Theory and Programming
- Max Planck Institute for Informatics [Saarbrücken]
- Max Planck Institute for Software Systems
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research [Redmond]
- Nanyang Technological University [Singapour]
- National Research Council of Italy | Consiglio Nazionale delle Ricerche
- National Technical University of Athens [Athens]
- Preuves, Programmes et Systèmes
- Radboud University [Nijmegen]
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Saarland University [Saarbrücken]
- Sandia National Laboratories - Corporation
- Sandia National Laboratories [Albuquerque]
- Shimane University
- TOBB University of Economics and Technology [Ankara]
- Tel Aviv University
- The Chinese University of Hong Kong [Hong Kong]
- Toulouse Mind & Brain Institut
- Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]
- University of Fukui [Bunkyo]
- University of Kassel
- University of Leicester
- University of Pisa - Università di Pisa
- University of Strathclyde [Glasgow]
- University of Turku
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Università degli Studi di Milano = University of Milan
- Università degli studi di Torino = University of Turin
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Université Claude Bernard Lyon 1
- Université Grenoble Alpes [2016-2019]
- Université Henri Poincaré - Nancy 1
- Université Nancy 2
- Université Paris Dauphine-PSL
- Université Paris Diderot - Paris 7
- Université Paris Sciences et Lettres
- Université Paris-Est Marne-la-Vallée
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier
- Université de Bordeaux
- Université de Lyon
- Université de Toulouse
- Ural Federal University [Ekaterinburg]
- West Virginia University [Morgantown]
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- École des Ponts ParisTech
- École normale supérieure de Lyon