- Amazon Web Services [Seattle]
- Andrea Razmadze Mathematical Institute
- Autonomic and Critical Embedded Systems
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- Centre National de la Recherche Scientifique
- Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires]
- Departamento de Informática
- Department of Formal Methods
- Department of Mathematics and Computer Science [Eindhoven]
- Department of Mathematics and Computer Science [Odense]
- Department of Software Science
- Dipartimento di Scienze Pure e Applicate
- Département Informatique et Réseaux
- Eindhoven University of Technology [Eindhoven]
- Faculdade de Ciências e Tecnologia = School of Science & Technology
- Facultad de Ciencias Exactas y Naturales [Buenos Aires]
- Formal Methods and Tools
- Indian Institute of Science Education and Research Bhopal
- Inria Nancy - Grand Est
- Institut Mines-Télécom [Paris]
- Institut National de Recherche en Informatique et en Automatique
- Institut Polytechnique de Paris
- Institute for Systems and Computer Engineering, Technology and Science [Braga]
- Instituto de Investigación en Ciencias de la Computación [Buenos Aires]
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Traitement et Communication de l'Information
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- Modeling and Verification of Distributed Algorithms and Systems
- NOVA Laboratory for Computer Science and Informatics
- National Research Council of Italy | Consiglio Nazionale delle Ricerche
- Proof-oriented development of computer-based systems
- Radboud University [Nijmegen]
- RelationalAI [Berkeley]
- Tbilisi State University
- Towson University [Towson, MD, United States]
- Télécom Paris
- Télécom ParisTech
- Universidad de Buenos Aires [Buenos Aires]
- Universidade Nova de Lisboa = NOVA University Lisbon
- University of Maryland System
- University of Michigan System
- University of Michigan [Ann Arbor]
- University of Southern Denmark
- University of Twente
- Università degli Studi di Cagliari = University of Cagliari
- Università degli Studi di Camerino = University of Camerino
- Università degli Studi di Urbino 'Carlo Bo'
- Università degli studi dell'Insubria [Como]
- Università degli studi di Verona = University of Verona
- Université de Lorraine