- AELOS
- Aalto University
- Albert-Ludwigs-Universität Freiburg = University of Freiburg
- Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
- Algorithms for the Grid
- Alma Mater Studiorum Università di Bologna = University of Bologna
- American University of Beirut [Beyrouth]
- BASICS
- Bar-Ilan University [Israël]
- Brunel University London [Uxbridge]
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- California Institute of Technology
- Carnegie Mellon University [Pittsburgh]
- Catholic University of Leuven = Katholieke Universiteit Leuven
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Centre de Coopération Internationale en Recherche Agronomique pour le Développement
- Centro de Informática e Tecnologia Informação
- Chinese Academy of Sciences [Changchun Branch]
- Commissariat à l'énergie atomique et aux énergies alternatives
- Construction of verified concurrent systems
- DSIC
- Danmarks Tekniske Universitet = Technical University of Denmark
- Departamento de Informática
- Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software [Madrid]
- Departamento de Sistemas Informáticos y Computación
- Department of Computer Science
- Department of Computer Science - Trinity College Dublin
- Department of Computer Science [Santa Barbara]
- Department of Computer Science [UIUC]
- Department of Computer Science and Engineering [Bologna]
- Department of Computing and Information Sciences [Kansas]
- Department of Electrical and Computer Engineering
- Department of Electronics and Telecommunication
- Department of Informatics [Oslo]
- Department of Information Systems and Computing
- Department of Information and Computer Science
- Department of Statistics, Trinity College Dublin
- Department of Telematics
- Departmento de Sistemas Informáticos
- Dipartimento di Informatica [Torino]
- Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
- Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
- Dipartimento di Scienze dell'Informazione [Bologna]
- Direction de Recherche Technologique (CEA)
- Distributed Systems and Computer Networks
- Distributed and Iterative Algorithms for the Management of Telecommunications Systems
- Ecole Polytechnique Fédérale de Lausanne
- Efficient STAtistical methods in SYstems of systems
- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
- FUTURE HEALTH DEPARTMENT [KU Leuven]
- Faculdade de Ciências e Tecnologia = School of Science & Technology
- Faculty of Computer Science [Iași]
- Faculty of Mathematics and Natural Sciences [Oslo]
- FernUniversit¨at in Hagen
- Fondazione Bruno Kessler [Trento, Italy]
- Formal Methods for Embedded Systems
- Foundations of Component-based Ubiquitous Systems
- Hasso Plattner Institute [Potsdam, Germany]
- IMT Institute for Advanced Studies [Lucca]
- INRIA Lorraine
- Imperial College London
- Inria Grenoble - Rhône-Alpes
- Inria Nancy - Grand Est
- Inria Paris-Rocquencourt
- Inria Rennes – Bretagne Atlantique
- Inria Sophia Antipolis - Méditerranée
- Institut Galilée
- Institut National Polytechnique de Grenoble
- Institut National Polytechnique de Lorraine
- Institut National de Recherche en Informatique et en Automatique
- Institut National de la Recherche Agronomique
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Rennes
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute IMDEA Software [Madrid]
- Institute of Automation - Chinese Academy of Sciences
- Institute of Computer and Network Engineering [Braunschweig]
- Institute of Science and Technology [Klosterneuburg, Austria]
- Kansas State University
- King Mongkut’s University of Technology Thonburi [Bangkok]
- LANGAGE ET GÉNIE LOGICIEL
- Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Nantes Atlantique
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Intégration des Systèmes et des Technologies
- Laboratoire d'informatique Algorithmique : Fondements et Applications
- Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
- Laboratorio CINI-ITEM Carlo Savy
- Laboratory for Reliable Software
- Logic and Security Laboratory, Department of Computer Engineering, Faculty of Engineering
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research Silicon Valley
- Mines Nantes
- NETQUEST
- Nanjing University
- National Research Council of Italy | Consiglio Nazionale delle Ricerche
- Newcastle University [Newcastle]
- Norwegian University of Science and Technology
- Norwegian University of Science and Technology [Trondheim]
- Preuves, Programmes et Systèmes
- Queen Mary University of London
- Queen's University [Kingston, Canada]
- Reliable and efficient component based software engineering
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Rigorous System Design Laboratory [Lausanne]
- SRI International [Menlo Park]
- Saarland University [Saarbrücken]
- Salisbury University
- School of Computing
- School of Computing Science
- Service Oriented Applications Research Unit [Trento]
- Shanghai Jiao Tong University [Shanghai]
- Software Engineering and Technology
- State Key Laboratory of Novel Software Technology [Nanjing University]
- System architecture for reflective distributed computing environments
- System synthesis and supervision, scenarios
- Technical University of Eindhoven
- Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
- Technische Universität Darmstadt - Technical University of Darmstadt
- The Interventional Center, Oslo University Hospital, Institute of Hospital Medicine
- Télécom Bretagne
- UCM
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- Universidad Politécnica de Madrid
- Universidad de Castilla-La Mancha = University of Castilla-La Mancha
- Universidade Nova de Lisboa = NOVA University Lisbon
- University of California
- University of California [Santa Barbara]
- University of Cyprus [Nicosia]
- University of Dublin
- University of Illinois System
- University of Illinois at Urbana-Champaign [Urbana]
- University of Kent [Canterbury]
- University of Leicester
- University of Maryland System
- University of Oslo
- University of Pennsylvania
- University of Pennsylvania School of Veterinary Medicine
- University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
- University of Sheffield [Sheffield]
- 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 Genova = University of Genoa
- Università degli studi di Torino = University of Turin
- Université Henri Poincaré - Nancy 1
- Université Joseph Fourier - Grenoble 1
- Université Nancy 2
- Université Paris 13
- Université Paris Diderot - Paris 7
- Université Pierre Mendès France - Grenoble 2
- Université Sorbonne Paris Cité
- Université de Bretagne Sud
- Université de Lorraine
- Université de Nantes
- Université de Nantes - UFR des Sciences et des Techniques
- Université de Provence - Aix-Marseille 1
- Université de Rennes
- Université de la Méditerranée - Aix-Marseille 2
- Université libre de Bruxelles
- VERIMAG
- VERIfication pour les systèmes DIStribués
- Verification models and techniques applied to testing and control of reactive systems
- École normale supérieure - Rennes