- "Simion Stoilow" Institute of Mathematics
- Aalborg University [Denmark]
- Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
- Auckland University of Technology
- Categorical Informatics
- 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
- Department of Computer Science [Swansea]
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
- Free University of Bozen-Bolzano
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- IMT Institute for Advanced Studies [Lucca]
- Imperial College London
- Inria Grenoble - Rhône-Alpes
- Inria Rennes – Bretagne Atlantique
- 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 et Systèmes Aléatoires
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Jacobs University = Constructor University [Bremen]
- King‘s College London
- LANGAGE ET GÉNIE LOGICIEL
- Laboratoire d'Informatique de Grenoble
- Laboratoire de Recherche en Informatique
- Leiden Institute of Advanced Computer Science [Leiden]
- Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München
- Massachusetts Institute of Technology
- McMaster University [Hamilton, Ontario]
- 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
- Romanian Academy of Sciences
- Royal Holloway [University of London]
- Swansea University
- Technische Universität Darmstadt - Technical University of Darmstadt
- Technische Universität Munchen - Technical University Munich - Université Technique de Munich
- 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
- University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
- University of Birmingham [Birmingham]
- University of Illinois System
- University of Illinois at Urbana-Champaign [Urbana]
- University of Leicester
- University of Oslo
- University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
- University of Portsmouth
- University of York [York, UK]
- Università degli Studi di Sassari = University of Sassari [Sassari]
- Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsburg [Allemagne]
- Universität Bremen [Deutschland] = University of Bremen [Germany] = Université de Brême [Allemagne]
- Universität des Saarlandes [Saarbrücken]
- Université Grenoble Alpes [2016-2019]
- Université Paris-Sud - Paris 11
- Université de Bretagne Sud
- Université de Rennes
- Université du Luxembourg = University of Luxembourg = Universität Luxemburg
- École normale supérieure - Rennes