- Aix Marseille Université
- Alma Mater Studiorum Università di Bologna = University of Bologna
- Assistance à la Certification d’Applications DIstribuées et Embarquées
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- Centre National de la Recherche Scientifique
- Departamento de Ciência da Computação [Minas Gerais]
- Department of Computer Science
- Department of Formal Methods
- Department of Mathematics and Computer Science
- Dipartimento di Informatica [Pisa]
- Eindhoven University of Technology [Eindhoven]
- Gran Sasso Science Institute
- Informal systems [Vienna]
- Institut National Polytechnique (Toulouse)
- Institut National de Recherche en Informatique et en Automatique
- Institut Polytechnique de Paris
- Institut de recherche en informatique de Toulouse
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Modélisation et Vérification
- National Research Council of Italy | Consiglio Nazionale delle Ricerche
- Pontificia universidad Javeriana, Cali
- Proof-oriented development of computer-based systems
- Reykjavík University
- Technische Universität Darmstadt - Technical University of Darmstadt
- Toulouse Mind & Brain Institut
- Universidade Federal de Minas Gerais = Federal University of Minas Gerais [Belo Horizonte, Brazil]
- Universidade de São Paulo = University of São Paulo
- University of Edinburgh
- University of Glasgow
- University of Houston
- University of Malta [Malta]
- University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
- University of Stavanger
- University of Twente
- Università degli Studi di Camerino = University of Camerino
- Universitá degli Studi dell’Insubria = University of Insubria [Varese]
- Université Catholique de Louvain = Catholic University of Louvain
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier
- Université de Lorraine
- Université de Toulon
- Université de Toulouse
- Vienna University of Technology = Technische Universität Wien
- Wesleyan University
- École polytechnique