- ActiveEon
- Alma Mater Studiorum Università di Bologna = University of Bologna
- COMmunications, Réseaux, systèmes Embarqués et Distribués
- Centre National de la Recherche Scientifique
- Centrum Wiskunde & Informatica
- Certus Centre for Software Validation and Verification
- Combination of approaches to the security of infinite states systems
- Department of Formal Methods
- East China University of Science and Technology
- Ecole Nationale Supérieure de Mécanique et des Microtechniques
- Foundations of Component-based Ubiquitous Systems
- Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
- Halmstad University
- Hasso Plattner Institute [Potsdam, Germany]
- Indraprastha Institute of Information Technology [New Delhi]
- Inria Nancy - Grand Est
- Inria Sophia Antipolis - Méditerranée
- Institut National de Recherche en Informatique et en Automatique
- Iran University of Science and Technology [Tehran]
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- Laboratoire de l'Informatique du Parallélisme
- Michigan State University System
- Michigan State University [East Lansing]
- Michigan Technological University
- Open University of the Netherlands [Heerlen]
- Politecnico di Milano [Milan]
- Preuves et Langages
- Reykjavík University
- Safe Composition of Autonomous applications with Large-SCALE Execution environment
- Shahid Bahonar University of Kerman
- Sharif University of Technology [Tehran]
- Universiteit Utrecht | Utrecht University [Utrecht]
- University of Luxembourg [Luxembourg]
- University of Southampton
- University of Tabriz [Tabriz]
- University of Tehran
- Università degli Studi dell'Aquila = University of L'Aquila
- Université Bourgogne Franche-Comté [COMUE]
- Université Claude Bernard Lyon 1
- Université Côte d'Azur
- Université Nice Sophia Antipolis (1965 - 2019)
- Université de Franche-Comté
- Université de Lorraine
- Université de Lyon
- Université de Technologie de Belfort-Montbeliard
- Vrije Universiteit Amsterdam [Amsterdam]
- École normale supérieure de Lyon