- Aalto University
- Aarhus University [Aarhus]
- Academic Center for Computing and Media Studies
- 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
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- Cap Gemini [Amsterdam]
- Carleton University
- 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
- Centrum Wiskunde & Informatica
- Centrum voor Wiskunde en Informatica
- 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
- Computing Science Department
- Concurrency, Mobility and Transactions
- Czech Academy of Sciences [Prague]
- Department of Computer Science
- Department of Computer Science [Auckland]
- Department of Mathematics
- 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 Sistemi e Informatica
- Dipartimento di informatica
- Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science
- ESIEE Paris
- Eco-informatics
- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
- Eindhoven University of Technology [Eindhoven]
- Fachgruppe Informatik
- Faculty of Science, Technology and Communication [Luxembourg]
- Federal University of Goiás [Jataí]
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Fédération de Recherche Bézout
- Graz University of Technology [Graz]
- Griffith University [Brisbane]
- Helsingin yliopisto = Helsingfors universitet = University of Helsinki
- IMT Institute for Advanced Studies [Lucca]
- IT University of Copenhagen
- Imperial College London
- Indian Institute of Technology Delhi
- Inria Paris-Rocquencourt
- Inria Saclay - Ile de France
- Institut Galilée
- 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 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 of Automation - Chinese Academy of Sciences
- Institute of Informatics
- Justus-Liebig-Universität Gießen = Justus Liebig 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'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
- 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
- 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
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research
- Microsoft Research [Redmond]
- Mobile Network Performance Group
- 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
- Preuves et Langages
- Preuves, Programmes et Systèmes
- Radboud University [Nijmegen]
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Riphah International University
- Saarland University [Saarbrücken]
- Sandia National Laboratories - Corporation
- Sandia National Laboratories [Albuquerque]
- School of Computer Sc. and Eng.
- School of Computer Science and Engineering
- School of Information Technology and Electrical Engineering
- School of Science and Technology
- Shanghai Jiao Tong University [Shanghai]
- Shimane University
- Slovak Academy of Sciences
- State Key Laboratory of Computer Science, Institute of Software
- TOBB University of Economics and Technology [Ankara]
- Technical Faculty Bor
- Technical University of Berlin | Technische Universität Berlin
- Technical University of Ostrava [Ostrava]
- Technische Universität Dortmund [Dortmund]
- 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]
- Umeå University
- Univ. of New South Wales
- Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]
- Universiteit Utrecht
- Universiteit Utrecht | Utrecht University [Utrecht]
- University of Auckland [Auckland]
- University of Augsburg
- University of Bamberg
- University of Belgrade [Belgrade]
- University of Ca’ Foscari [Venice, Italy]
- University of Debrecen Egyetem [Debrecen]
- University of Fukui [Bunkyo]
- University of Kassel
- University of Leicester
- University of Luxembourg [Luxembourg]
- University of New South Wales [Sydney]
- University of Notre Dame [Indiana]
- University of Ottawa [Ottawa]
- University of Pisa - Università di Pisa
- University of Southampton
- University of Strathclyde [Glasgow]
- University of Szeged [Szeged]
- University of Technology
- University of Technology Sydney
- University of Turku
- 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ät Duisburg-Essen = University of Duisburg-Essen [Essen]
- Universität Heidelberg [Heidelberg] = Heidelberg University
- Université Claude Bernard Lyon 1
- Université Grenoble Alpes [2016-2019]
- Université Henri Poincaré - Nancy 1
- Université Joseph Fourier - Grenoble 1
- Université Nancy 2
- Université Paris 13
- Université Paris Dauphine-PSL
- Université Paris Diderot - Paris 7
- Université Paris Sciences et Lettres
- 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 Lyon
- Université de Toulon
- Université de Toulouse
- Université de la Méditerranée - Aix-Marseille 2
- Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]
- Ural Federal University [Ekaterinburg]
- Warsaw University of Technology [Warsaw]
- West Virginia University [Morgantown]
- Westsächsische Hochschule Zwickau = West Saxon University of Applied Sciences of Zwickau
- É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