- Aix Marseille Université
- Centre National de la Recherche Scientifique
- Construction of verified concurrent systems
- Ferdowsi University of Mashhad
- Google Inc.
- Halmstad University
- Inria Grenoble - Rhône-Alpes
- Inria Saclay - Ile de France
- Institut National de Recherche en Informatique et en Automatique
- Institut Polytechnique de Paris
- Institut de Mathématiques de Marseille
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Systems and Computer Engineering, Technology and Science [Braga]
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire de l'Informatique du Parallélisme
- Michigan Technological University
- Mälardalen University
- Proof search and reasoning with logic specifications
- Radboud University [Nijmegen]
- ScaLable Information Discovery and Exploitation [Grenoble]
- Shahid Beheshti University G.C.
- Universidade do Minho = University of Minho [Braga]
- Universiteit Utrecht | Utrecht University [Utrecht]
- University of Antwerp
- University of Oslo
- University of Pretoria [South Africa]
- University of Tehran
- Università degli studi di Torino = University of Turin
- Université Claude Bernard Lyon 1
- Université Grenoble Alpes [2016-2019]
- Université de Lyon
- Vienna University of Technology = Technische Universität Wien
- École Centrale de Marseille
- École normale supérieure de Lyon
- École polytechnique