- "Simion Stoilow" Institute of Mathematics
- Aalborg University [Denmark]
- Aix Marseille Université
- Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
- Alma Mater Studiorum Università di Bologna = University of Bologna
- Auckland University of Technology
- Australian National University
- Categorical Informatics
- Catholic University of Leuven = Katholieke Universiteit Leuven
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Centrum Wiskunde & Informatica
- Centrum voor Wiskunde en Informatica
- Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires]
- Construction of verified concurrent systems
- Czech Technical University in Prague
- Delft University of Technology
- Department of Computer Science [Oxford]
- Department of Computer Science [Swansea]
- Department of Computer and Information Sciences [Univ Strathclyde]
- Department of Engineering Systems and Services [Delft ]
- Department of Formal Methods
- Department of mathematics [Bloomington]
- Designing the Future of Computational Models
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
- Faculty of Technology, Policy and Management [Delft]
- Foundations of Component-based Ubiquitous Systems
- Free University of Bozen-Bolzano
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Graduate University for Advanced Studies [Hayama]
- Göteborgs Universitet = University of Gothenburg
- Heriot-Watt University [Edinburgh]
- IMT Institute for Advanced Studies [Lucca]
- Ilmenau University of Technology [Germany]
- Imperial College London
- Indiana University System
- Indiana University [Bloomington]
- Inria Grenoble - Rhône-Alpes
- Inria Nancy - Grand Est
- Inria Rennes – Bretagne Atlantique
- Inria Sophia Antipolis - Méditerranée
- Institut National de Recherche en Informatique et en Automatique
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Rennes
- Institut de Recherche en Informatique Fondamentale
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Computing and Information Sciences [Nijmegen]
- Jacobs University = Constructor University [Bremen]
- Japanese French Laboratory for Informatics
- King‘s College London
- LANGAGE ET GÉNIE LOGICIEL
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Informatique de Grenoble
- Laboratoire de Recherche en Informatique
- Laboratoire de l'Informatique du Parallélisme
- Leiden Institute of Advanced Computer Science [Leiden]
- Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München
- Massachusetts Institute of Technology
- Mathématiques et Informatique pour la Complexité et les Systèmes
- McMaster University [Hamilton, Ontario]
- National Institute of Informatics
- National University of Ireland Maynooth
- National University of Río Cuarto = Universidad Nacional de Río Cuarto
- Netherlands Organisation for Scientific Research
- Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]
- Philipps Universität Marburg = Philipps University of Marburg
- Radboud University [Nijmegen]
- Romanian Academy of Sciences
- Royal Holloway [University of London]
- Skane University Hospital [Lund]
- Sorbonne Université
- Stockholm University
- Swansea University
- Taras Shevchenko National University of Kyiv
- Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
- Technische Universität Darmstadt - Technical University of Darmstadt
- Technische Universität Munchen - Technical University Munich - Université Technique de Munich
- The Alan Turing Institute
- The University of Tokyo
- Threat Analysis and Mitigation for Information Security
- Télécom Bretagne
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- Universidad de Buenos Aires [Buenos Aires]
- Universidad de Málaga [Málaga] = University of Málaga [Málaga]
- 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 van Amsterdam
- University College of London [London]
- University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
- University of Bath [Bath]
- University of Birmingham [Birmingham]
- University of Hawai'i [Honolulu]
- University of Illinois System
- University of Illinois at Urbana-Champaign [Urbana]
- University of Leicester
- University of Oslo
- University of Oxford
- University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
- University of Portsmouth
- University of Southampton
- University of Strathclyde [Glasgow]
- University of Warsaw
- University of York [York, UK]
- Università degli Studi di Sassari = University of Sassari [Sassari]
- Università degli Studi di Udine - University of Udine [Italie]
- Università degli studi di Torino = University of Turin
- Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsburg [Allemagne]
- Universität Bayreuth [Deutschland] = University of Bayreuth [Germany] = Université de Bayreuth [Allemagne]
- Universität Bremen [Deutschland] = University of Bremen [Germany] = Université de Brême [Allemagne]
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Universität des Saarlandes [Saarbrücken]
- Université Claude Bernard Lyon 1
- Université Grenoble Alpes [2016-2019]
- Université Paris Cité
- Université Paris-Sud - Paris 11
- Université de Bordeaux
- Université de Bretagne Sud
- Université de Lorraine
- Université de Lyon
- Université de Rennes
- Université du Luxembourg = University of Luxembourg = Universität Luxemburg
- Vrije Universiteit Brussel [Bruxelles]
- Warsaw University of Technology [Warsaw]
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- École normale supérieure - Rennes
- École normale supérieure de Lyon