- Aalto University
- Academic Center for Computing and Media Studies
- 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
- 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
- Computing Science Department
- Concurrency, Mobility and Transactions
- 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
- 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
- Eco-informatics
- Fachgruppe Informatik
- Faculty of Science, Technology and Communication [Luxembourg]
- Griffith University [Brisbane]
- Helsingin yliopisto = Helsingfors universitet = University of Helsinki
- IT University of Copenhagen
- Indian Institute of Technology Delhi
- Inria Paris-Rocquencourt
- Inria Saclay - Ile de France
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut National de la Recherche Agronomique
- Institut für Informatik
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Computing and Information Sciences [Nijmegen]
- Institute for Integrated and Intelligent Systems
- Institute of Automation - Chinese Academy of Sciences
- King‘s College London
- Kyoto University
- Kyoto University Hospital
- LS2 Informatik
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Lehrstuhl für Informatik 7
- Macquarie University
- Martin-Luther-Universität Halle Wittenberg
- Mobile Network Performance Group
- Nanyang Technological University [Singapour]
- National ICT Australia [Sydney]
- National University of Singapore
- Preuves, Programmes et Systèmes
- Radboud University [Nijmegen]
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Riphah International University
- Saarland University [Saarbrücken]
- School of Computer Sc. and Eng.
- School of Computer Science and Engineering
- School of Information Technology and Electrical Engineering
- School of Science and Technology
- State Key Laboratory of Computer Science, Institute of Software
- Technical Faculty Bor
- Technische Universität Dortmund [Dortmund]
- The University of Queensland
- Univ. of New South Wales
- University of Auckland [Auckland]
- University of Belgrade [Belgrade]
- University of Ca’ Foscari [Venice, Italy]
- University of Luxembourg [Luxembourg]
- University of New South Wales [Sydney]
- University of Notre Dame [Indiana]
- University of Ottawa [Ottawa]
- University of Southampton
- University of Technology
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Universität Heidelberg [Heidelberg] = Heidelberg University
- Université Joseph Fourier - Grenoble 1
- Université Paris Diderot - Paris 7
- Université Pierre Mendès France - Grenoble 2
- Westsächsische Hochschule Zwickau = West Saxon University of Applied Sciences of Zwickau
- École polytechnique