- ASML Netherlands B.V.
- ASML [VELDHOVEN]
- Aalborg University [Denmark]
- Aalto University
- Aarhus University [Aarhus]
- Academic Center for Computing and Media Studies
- ActiveEon
- Aix Marseille Université
- Alma Mater Studiorum Università di Bologna = University of Bologna
- Assistance à la Certification d’Applications DIstribuées et Embarquées
- Australian National University
- Beijing Institute of Technology
- CASH - Compilation and Analysis, Software and Hardware
- CISTER [Porto]
- CITI Centre of Innovation in Telecommunications and Integration of services
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- COMmunications, Réseaux, systèmes Embarqués et Distribués
- Cap Gemini [Amsterdam]
- Carleton University
- Center for Research & Development in Mathematics and Applications [Aveiro]
- Centre National de la Recherche Scientifique
- Centre de Coopération Internationale en Recherche Agronomique pour le Développement
- Centre for Quantum Computation and Intelligent Systems &, School of Software
- Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes
- Centrum Wiskunde & Informatica
- Centrum voor Wiskunde en Informatica
- Certus Centre for Software Validation and Verification
- Chalmers University of Technology [Göteborg]
- Chennai Mathematical Institute [Inde]
- Chinese Academy of Sciences [Beijing]
- Chinese Academy of Sciences [Changchun Branch]
- Christian-Albrechts-Universität zu Kiel = Christian-Albrechts University of Kiel = Université Christian-Albrechts de Kiel
- Cluster of Excellence Multimodal Computing and Interaction
- Combination of approaches to the security of infinite states systems
- Computer Science and Engineering Department [Bucharest]
- Computer Science department [Michigan Tech]
- Computing Science Department
- Concurrency, Mobility and Transactions
- Construction of verified concurrent systems
- Czech Academy of Sciences [Prague]
- Departamento de Ciência Da Computação [Rio de Janeiro]
- Department of Computer Science
- Department of Computer Science [Auckland]
- Department of Computer Science [Verona]
- Department of Computer Science and Engineering
- Department of Computer Science and Engineering [Göteborg]
- Department of Computer Science and Engineering [New Delhi]
- Department of Formal Methods
- Department of Informatics [King's College London]
- Department of Informatics [Sussex]
- Department of Mathematics
- Department of Mathematics and Computer Science
- Department of Medical Informatics
- Design, study and implementation of languages for proofs and programs
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
- Dip. di Informatica
- Dipartimento di Informatica
- Dipartimento di Matematica e Informatica
- Dipartimento di Sistemi e Informatica
- Dipartimento di informatica
- Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science
- ESIEE Paris
- East China University of Science and Technology
- Eco-informatics
- Ecole Nationale Supérieure de Mécanique et des Microtechniques
- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
- Eindhoven University of Technology [Eindhoven]
- Fachgruppe Informatik
- Faculty of Computer Science and Engineering
- Faculty of Science, Technology and Communication [Luxembourg]
- Federal University of Goiás [Jataí]
- Ferdowsi University of Mashhad
- Foundations of Component-based Ubiquitous Systems
- Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Fédération de Recherche Bézout
- Google Inc.
- Gran Sasso Science Institute
- Graz University of Technology [Graz]
- Griffith University [Brisbane]
- Göteborgs Universitet = University of Gothenburg
- Halmstad University
- Harbin Institute of Technology
- Hasso Plattner Institute [Potsdam, Germany]
- Helsingin yliopisto = Helsingfors universitet = University of Helsinki
- High-Assurance Software Laboratory [Braga, Portugal]
- Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
- IMT Institute for Advanced Studies [Lucca]
- IT University of Copenhagen
- Imperial College London
- Indian Institute of Technology Delhi
- Indraprastha Institute of Information Technology [New Delhi]
- Inria Grenoble - Rhône-Alpes
- Inria Lyon
- Inria Nancy - Grand Est
- Inria Paris-Rocquencourt
- Inria Saclay - Ile de France
- Inria Sophia Antipolis - Méditerranée
- Institut Galilée
- Institut Mines-Télécom [Paris]
- Institut National Polytechnique (Toulouse)
- 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 de Lyon
- Institut Polytechnique de Paris
- Institut de Mathématiques de Marseille
- Institut de mathématiques de Luminy
- Institut de recherche en informatique de Toulouse
- Institut für Informatik
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Computing and Information Sciences [Nijmegen]
- Institute for Industrial Management [RWTH Aachen University]
- Institute for Integrated and Intelligent Systems
- Institute for Systems and Computer Engineering, Technology and Science [Braga]
- Institute for Systems and Computer Engineering, Technology and Science [Porto]
- Institute for Theoritical Physics and Mathematics
- Institute of Automation - Chinese Academy of Sciences
- Institute of Automation and Electrometry of the Siberian Branch of the RAS
- Institute of Cybernetics [Tallinn]
- Institute of Informatics
- International Institute for Software Technology [Macao]
- Iran University of Science and Technology [Tehran]
- Justus-Liebig-Universität Gießen = Justus Liebig University
- Khatam University
- King‘s College London
- Kyoto University
- Kyoto University Hospital
- LS2 Informatik
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire d'Algorithmique Complexité et Logique
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire de l'Informatique du Parallélisme
- Lehrstuhl für Informatik 7
- Leiden Institute of Advanced Computer Science [Leiden]
- Linnaeus University
- Logic, proof Theory and Programming
- Macquarie University
- Martin-Luther-Universität Halle Wittenberg
- Max Planck Institute for Informatics [Saarbrücken]
- Max Planck Institute for Software Systems
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- Michigan State University System
- Michigan State University [East Lansing]
- Michigan Technological University
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research
- Microsoft Research [Redmond]
- Mobile Network Performance Group
- Mälardalen University
- Mälardalens University - Mälardalens Högskola, Sweden and Reykjavik University,
- Nanyang Technological University [Singapour]
- National ICT Australia [Sydney]
- National Research Council of Italy | Consiglio Nazionale delle Ricerche
- National Technical University of Athens [Athens]
- National University of Singapore
- Netherlands Organisation for Scientific Research
- Open University of the Netherlands [Heerlen]
- Peking University [Beijing]
- People's Friendship University of Russia [Moscow] = Rossijskij universitet družby narodov [Moskva]
- Politecnico di Milano [Milan]
- Preuves et Langages
- Preuves, Programmes et Systèmes
- Privacy Models, Architectures and Tools for the Information Society
- Proof search and reasoning with logic specifications
- Radboud University [Nijmegen]
- Reykjavík University
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Riphah International University
- Rochester Institute of Technology
- Saarland University [Saarbrücken]
- Safe Composition of Autonomous applications with Large-SCALE Execution environment
- Sandia National Laboratories - Corporation
- Sandia National Laboratories [Albuquerque]
- ScaLable Information Discovery and Exploitation [Grenoble]
- School for Advanced Studies Lucca
- School of Computer Sc. and Eng.
- School of Computer Science and Engineering
- School of Computing Science [Glasgow]
- School of Electrical Engineering and Computer Science [Tehran]
- School of Engineering (ISEP) of the Polytechnic Institute of Porto (IPP)
- School of Information Technology and Electrical Engineering
- School of Science and Technology
- School of Telecommunication Engineering, Institute of Engineering
- Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
- Shahid Bahonar University of Kerman
- Shahid Beheshti University
- Shahid Beheshti University G.C.
- Shanghai Jiao Tong University [Shanghai]
- Sharif University of Technology [Tehran]
- Shimane University
- Siberian Branch of the Russian Academy of Sciences
- Slovak Academy of Sciences
- Ss. Cyril and Methodius University in Skopje
- State Key Laboratory of Computer Science, Institute of Software
- Suranaree University of Technology
- TOBB University of Economics and Technology [Ankara]
- Tallinn University of Technology
- Technical Faculty Bor
- Technical University of Berlin | Technische Universität Berlin
- Technical University of Ostrava [Ostrava]
- Technische Universität Darmstadt - Technical University of Darmstadt
- Technische Universität Dortmund [Dortmund]
- Tehran Institute for Advanced Studies
- Tel Aviv University
- The Chinese University of Hong Kong [Hong Kong]
- The University of Queensland
- The University of Tokyo
- Tohoku University [Sendai]
- Toulouse Mind & Brain Institut
- Tsinghua University [Beijing]
- Télécom SudParis
- Umeå University = Umeå Universitet
- United Nations University
- Univ. of New South Wales
- Universidade Federal Fluminense [Rio de Janeiro]
- Universidade Federal do Rio de Janeiro [Brasil] = Federal University of Rio de Janeiro [Brazil] = Université fédérale de Rio de Janeiro [Brésil]
- Universidade de Aveiro
- Universidade do Minho = University of Minho [Braga]
- Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]
- Universiteit Leiden = Leiden University
- Universiteit Utrecht
- Universiteit Utrecht | Utrecht University [Utrecht]
- University Politehnica of Bucharest [Romania]
- University of Antwerp
- University of Auckland [Auckland]
- University of Bamberg
- University of Belgrade [Belgrade]
- University of Ca’ Foscari [Venice, Italy]
- University of Debrecen
- University of Freiburg
- University of Fukui [Bunkyo]
- University of Glasgow
- University of Isfahan
- University of Kassel
- University of Leicester
- University of Malta [Malta]
- University of New South Wales [Sydney]
- University of Notre Dame [Indiana]
- University of Oslo
- University of Ottawa [Ottawa]
- University of Pisa - Università di Pisa
- University of Pretoria [South Africa]
- University of Southampton
- University of Southern California
- University of Strathclyde [Glasgow]
- University of Sussex
- University of Szeged [Szeged]
- University of Tabriz [Tabriz]
- University of Technology
- University of Technology Sydney
- University of Tehran
- University of Turku
- Università degli Studi dell'Aquila = University of L'Aquila
- Università degli Studi di Cagliari = University of Cagliari
- Università degli Studi di Camerino = University of Camerino
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Università degli Studi di Milano = University of Milan
- Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
- Università degli Studi di Salerno = University of Salerno
- Università degli studi di Genova = University of Genoa
- Università degli studi di Torino = University of Turin
- Università degli studi di Verona = University of Verona
- Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsburg [Allemagne]
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Universität Heidelberg [Heidelberg] = Heidelberg University
- Universität der Bundeswehr München [Neubiberg]
- Université Bourgogne Franche-Comté [COMUE]
- Université Claude Bernard Lyon 1
- Université Côte d'Azur
- Université Grenoble Alpes [2016-2019]
- Université Henri Poincaré - Nancy 1
- Université Joseph Fourier - Grenoble 1
- Université Nancy 2
- Université Nice Sophia Antipolis (1965 - 2019)
- Université Paris 13
- Université Paris Dauphine-PSL
- Université Paris Diderot - Paris 7
- Université Paris Sciences et Lettres
- Université Paris-Est Créteil Val-de-Marne - Paris 12
- Université Paris-Est Marne-la-Vallée
- Université Pierre Mendès France - Grenoble 2
- Université Sorbonne Paris Cité
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier
- Université de Bordeaux
- Université de Franche-Comté
- Université de Lorraine
- Université de Lyon
- Université de Technologie de Belfort-Montbeliard
- Université de Toulouse
- Université de la Méditerranée - Aix-Marseille 2
- Université du Luxembourg = University of Luxembourg = Universität Luxemburg
- Uppsala University
- Ural Federal University [Ekaterinburg]
- VU University Medical Center [Amsterdam]
- Verum Software Tools [Eindhoven]
- Vienna University of Technology = Technische Universität Wien
- Vrije Universiteit Amsterdam [Amsterdam]
- Warsaw University of Technology [Warsaw]
- West Virginia University [Morgantown]
- Westsächsische Hochschule Zwickau = West Saxon University of Applied Sciences of Zwickau
- École Centrale de Marseille
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- École des Ponts ParisTech
- École normale supérieure - Cachan
- École normale supérieure de Lyon
- École polytechnique