- ARM Ltd [Cambridge]
- Albert-Ludwigs-Universität Freiburg
- Alma Mater Studiorum Università di Bologna = University of Bologna
- American University of Beirut [Beyrouth]
- Brunel University London [Uxbridge]
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Computational and Systems Biology [Trento]
- Computer Learning Research Centre [Royal Holloway, University of London]
- Construction of verified concurrent systems
- Danmarks Tekniske Universitet = Technical University of Denmark
- Departamento Sistemas Informáticos y Computación [Madrid]
- Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
- Department of Applied Mathematics and Computer Science [Lyngby]
- Department of Computer Science
- Department of Computer Science [Santa Barbara]
- Department of Computer Science and Engineering [Bologna]
- Department of Information Systems and Computing
- Dipartimento di Informatica [Torino]
- Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
- Dipartimento di Scienze dell'Informazione [Bologna]
- Ecole Polytechnique Fédérale de Lausanne
- Faculdade de Ciências e Tecnologia = School of Science & Technology
- Formal Methods and Tools
- Foundations of Component-based Ubiquitous Systems
- IMT Atlantique
- Imperial College London
- Indian Institute of Science
- Inria Grenoble - Rhône-Alpes
- Inria Rennes – Bretagne Atlantique
- Inria Sophia Antipolis - Méditerranée
- Institut Mines-Télécom [Paris]
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Rennes
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut für Informatik
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- LANGAGE ET GÉNIE LOGICIEL
- Laboratoire d'Informatique de Grenoble
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research
- Microsoft Research Silicon Valley
- Preuves, Programmes et Systèmes
- Queen Mary University of London
- Rigorous System Design Laboratory [Lausanne]
- Royal Holloway [University of London]
- Technische Universität Darmstadt - Technical University of Darmstadt
- Threat Analysis and Mitigation for Information Security
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- Universidade Nova de Lisboa = NOVA University Lisbon
- University of California
- University of California [Santa Barbara]
- University of Ca’ Foscari [Venice, Italy]
- University of Leicester
- University of Passau
- University of Pennsylvania
- University of Twente
- University of Utah
- Università degli Studi di Cagliari = University of Cagliari
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
- Università degli Studi di Trento = University of Trento
- Università degli studi di Torino = University of Turin
- Universität Paderborn
- Université Joseph Fourier - Grenoble 1
- Université Paris Diderot - Paris 7
- Université Pierre Mendès France - Grenoble 2
- Université de Bretagne Sud
- Université de Rennes
- Uppsala University
- VERIMAG
- École normale supérieure - Rennes