- "Simion Stoilow" Institute of Mathematics
- A.P. Ershov Institute of Informatics Systems [Novosibirsk]
- Aalborg University [Denmark]
- Aalto University
- Academic Center for Computing and Media Studies
- Aix Marseille Université
- Akita University
- Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
- Alma Mater Studiorum Università di Bologna = University of Bologna
- Amazon Web Services [Seattle]
- Auckland University of Technology
- Australian National University
- Autonomous intelligent machine
- Bengal Engineering and Science University, Shibpur
- Bioinformatique (LRI)
- Boston University [Boston]
- Brock University [Canada]
- Bureau de Recherches Géologiques et Minières
- CMP-GC
- COMUE Université Côte d'Azur (2015-2019)
- COMmunications, Réseaux, systèmes Embarqués et Distribués
- Calcul Naturel
- California Institute of Technology
- Carleton University
- Categorical Informatics
- Catholic University of Leuven = Katholieke Universiteit Leuven
- CentraleSupélec
- 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
- Centre national du machinisme agricole, du génie rural, des eaux et forêts
- Centro Universitario de Ciencias Exactas e Ingenierías
- Centro de Matemática - Universidade do Porto
- 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
- Commissariat à l'énergie atomique et aux énergies alternatives
- Computer Laboratory [Cambridge]
- Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires]
- Consejo Superior de Investigaciones Cientificas [España] = Spanish National Research Council [Spain]
- Construction of verified concurrent systems
- Council for Scientific and Industrial Research [Pretoria]
- Czech Academy of Sciences [Prague]
- Czech Technical University in Prague
- Dalhousie University [Halifax]
- David R. Cheriton School of Computer Science
- Delft University of Technology
- Departamento de Ciência de Computadores
- Department of Applied Mathematics and Computational Sciences [Nadu]
- Department of Computer Science
- Department of Computer Science [Oxford]
- Department of Computer Science [Swansea]
- Department of Computer Science and Engineering
- Department of Computer and Information Sciences [Univ Strathclyde]
- Department of Engineering Systems and Services [Delft ]
- Department of Formal Methods
- Department of Information Technology [Howrah]
- Department of Mathematical Sciences
- Department of Mathematics
- Department of Mathematics and Statistics [uni. Turku]
- Department of Medical Informatics
- Department of Networks, Systems and Services
- Department of Pure Mathematics [Waterloo]
- Department of mathematics [Bloomington]
- Design, study and implementation of languages for proofs and programs
- Designing the Future of Computational Models
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
- Dip. di Informatica
- Dipartimento di Informatica
- Dipartimento di Informatica Sistemistica e Comunicazione
- Dipartimento di Sistemi e Informatica
- Dipartimento di informatica
- Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science
- Durham University
- Département Automatique, Productique et Informatique
- Département Sciences de la Fabrication et Logistique
- ESIEE Paris
- Eastern Mediterranean University
- Eco-informatics
- Ecole Nationale Supérieure d'Ingénieurs de Bourges
- 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]
- Eletrical Engineering and Computing [São Paulo]
- Equipe AMACC - Laboratoire GREYC - UMR6072
- Fachgruppe Informatik
- Faculdade de Ciências da Universidade do Porto
- Facultad de Ingeniería y Ciencias [Santiago]
- Faculty of Informatics
- Faculty of Mathematics and Physics [Praha|Prague]
- Faculty of Science, Technology and Communication [Luxembourg]
- Faculty of Technology, Policy and Management [Delft]
- Foundations of Component-based Ubiquitous Systems
- Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
- Free University of Bozen-Bolzano
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Fédération de Recherche Bézout
- Graduate University for Advanced Studies [Hayama]
- Griffith University [Brisbane]
- Groupe de Recherche en Informatique, Image et Instrumentation de Caen
- Göteborgs Universitet = University of Gothenburg
- Halmstad University
- Helsingin yliopisto = Helsingfors universitet = University of Helsinki
- Heriot-Watt University [Edinburgh]
- Hiroshima University
- IMT Atlantique
- IMT Institute for Advanced Studies [Lucca]
- INRIA Lorraine
- IT University of Copenhagen
- Ilmenau University of Technology [Germany]
- Imperial College London
- Indian Institute of Technology Delhi
- Indian Institute of Technology Madras
- Indiana University System
- Indiana University [Bloomington]
- Inria Grenoble - Rhône-Alpes
- Inria Nancy - Grand Est
- Inria Paris-Rocquencourt
- Inria Rennes – Bretagne Atlantique
- Inria Saclay - Ile de France
- Inria Sophia Antipolis - Méditerranée
- Institut Galilée
- Institut Mines-Télécom [Paris]
- Institut Montpelliérain Alexander Grothendieck
- 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 de la Santé et de la Recherche Médicale
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Centre Val de Loire
- Institut National des Sciences Appliquées - Rennes
- Institut National des Sciences Appliquées - Toulouse
- Institut de Mathématiques de Marseille
- Institut de Recherche en Informatique Fondamentale
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut de mathématiques de Luminy
- Institut de recherche pour le développement [IRD] : UR
- Institut für Informatik
- Institut für Informatik [Gießen]
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institut Élie Cartan de Lorraine
- Institute e-Austria Timisoara
- Institute for Advanced Studies in Basic Sciences
- Institute for Advanced Studies in Basic Sciences [Zanjan]
- Institute for Computing and Information Sciences [Nijmegen]
- Institute for Industrial Management [RWTH Aachen University]
- Institute for Integrated and Intelligent Systems
- Institute for Research in Fundamental Sciences [Tehran]
- Institute of Automation - Chinese Academy of Sciences
- Institute of Cybernetics [Tallinn]
- Institute of Informatics
- Institute of Theoretical Informatics
- Islamic Azad University
- Jacobs University = Constructor University [Bremen]
- Japan Advanced Institute of Science and Technology
- Japanese French Laboratory for Informatics
- Justus-Liebig-Universität Gießen = Justus Liebig University
- Karlsruhe Institute of Technology = Karlsruher Institut für Technologie
- Kazan Federal University
- Khalifa University for Science Technology [Abou Dabi]
- King‘s College London
- Korea Electronics Technology Institute [Seongnam-si]
- Kyoto University
- Kyoto University Hospital
- LANGAGE ET GÉNIE LOGICIEL
- LE STUDIUM
- LS2 Informatik
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Cogitamus = Cogitamus Laboratory
- 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 Fondamentale d'Orléans
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) | Equipe MC3
- Laboratoire d'analyse et d'architecture des systèmes
- Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
- Laboratoire d'informatique Fondamentale de Marseille
- Laboratoire de Recherche en Informatique
- Laboratoire de l'Informatique du Parallélisme
- Laboratoire des Sciences du Numérique de Nantes
- Lehrstuhl für Informatik 7
- Leiden Institute of Advanced Computer Science [Leiden]
- Liverpool Hope University
- Logic, proof Theory and Programming
- Logical Time for Formal Embedded System Design
- Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München
- Mackenzie Presbyterian University [São Paulo]
- Macquarie University
- Martin-Luther-Universität Halle Wittenberg
- Massachusetts Institute of Technology
- Mathématiques et Informatique pour la Complexité et les Systèmes
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- McMaster University [Hamilton, Ontario]
- Michigan Technological University
- Microsoft Research
- Mobile Network Performance Group
- Modeling and Exploitation of Interaction and Concurrency
- Modeling and Verification of Distributed Algorithms and Systems
- Modèles Discrets pour les Systèmes Complexes
- Modèles de calcul, Complexité, Combinatoire
- Nanyang Technological University [Singapour]
- National ICT Australia [Sydney]
- National Institute of Informatics
- National Taipei University of Business
- National Technical University of Athens [Athens]
- National Tsing Hua University [Hsinchu]
- National University of Ireland Maynooth
- National University of Río Cuarto = Universidad Nacional de Río Cuarto
- National University of Singapore
- Netherlands Organisation for Scientific Research
- Normandie Université
- Osaka University [Osaka]
- Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]
- Oxford Brookes University
- Oxford Immune Algorithmics
- P.J. Safarik University
- PSG College of Technology [Coimbatore]
- Philipps Universität Marburg = Philipps University of Marburg
- Preuves et Langages
- Preuves, Programmes et Systèmes
- Proof-oriented development of computer-based systems
- Queen Mary University of London
- Queen's University [Kingston, Canada]
- Radboud University [Nijmegen]
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Riphah International University
- Romanian Academy of Sciences
- Royal Holloway [University of London]
- SIMulating and Building IOT
- Saarland University [Saarbrücken]
- Saint Mary's University [Halifax]
- School of Computer Sc. and Eng.
- School of Computer Science [Waterloo]
- School of Computer Science and Engineering
- School of Engineering and Computing Sciences
- School of Information Technology and Electrical Engineering
- School of Science and Technology
- School of computing [Kingston]
- Shahed University [Téhéran]
- Shanghai Jiao Tong University [Shanghai]
- Sharif University of Technology [Tehran]
- Skane University Hospital [Lund]
- Slovak Academy of Sciences
- Sorbonne Université
- St Petersburg State University
- State Key Laboratory of Computer Science, Institute of Software
- Stellenbosch University
- Stockholm University
- Swansea University
- Systèmes Logistiques et de Production
- Systèmes complexes, automates et pavages
- Tallinn University of Technology
- Taras Shevchenko National University of Kyiv
- Technical Faculty Bor
- Technical University of Berlin | Technische Universität Berlin
- Technical University of Ostrava [Ostrava]
- Technion - Israel Institute of Technology [Haifa]
- Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
- Technische Universität Darmstadt - Technical University of Darmstadt
- Technische Universität Dortmund [Dortmund]
- Technische Universität Dresden = Dresden University of Technology
- Technische Universität Munchen - Technical University Munich - Université Technique de Munich
- The Alan Turing Institute
- The Hebrew University of Jerusalem
- The University of Queensland
- The University of Tokyo
- Theoretical adverse computations, and safety
- Threat Analysis and Mitigation for Information Security
- Tohoku University [Sendai]
- Trier University
- Tsinghua University [Beijing]
- Télécom Bretagne
- Umeå University = Umeå Universitet
- Univ. of New South Wales
- Universidad Adolfo Ibáñez [Santiago]
- Universidad Andrés Bello [Santiago]
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- Universidad Tecnica Federico Santa Maria [Valparaiso]
- Universidad de Buenos Aires [Buenos Aires]
- Universidad de Chile = University of Chile [Santiago]
- Universidad de Concepción = University of Concepción [Chile]
- Universidad de Guadalajara
- Universidad de Málaga [Málaga] = University of Málaga [Málaga]
- Universidade Nova de Lisboa = NOVA University Lisbon
- Universidade Presbiteriana Mackenzie
- Universidade de Aveiro
- Universidade do Minho = University of Minho [Braga]
- Universidade do Porto = University of Porto
- Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]
- Universitatea de Vest din Timișoara [România] = West University of Timișoara [Romania] = Université Ouest de Timișoara [Roumanie]
- Universiteit Gent = Ghent University = Université de Gand
- Universiteit Leiden = Leiden University
- Universiteit Utrecht
- Universiteit Utrecht | Utrecht University [Utrecht]
- Universiteit van Amsterdam
- University College of London [London]
- University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
- University of Bamberg
- University of Bath [Bath]
- University of Belgrade [Belgrade]
- University of Birjand [Iran]
- University of Birmingham [Birmingham]
- University of California
- University of California [Los Angeles]
- University of Cambridge [UK]
- University of Ca’ Foscari [Venice, Italy]
- University of Central Arkansas
- University of Debrecen
- University of Electro-Communications [Tokyo]
- University of Fukui [Bunkyo]
- University of Groningen [Groningen]
- University of Hawai'i [Honolulu]
- University of Hyogo
- University of Illinois System
- University of Illinois at Urbana-Champaign [Urbana]
- University of Latvia
- University of Leicester
- University of Liverpool
- University of Maryland System
- University of Maryland [College Park]
- University of Michigan System
- University of Michigan [Ann Arbor]
- University of New South Wales [Sydney]
- University of Notre Dame [Indiana]
- University of Oslo
- University of Ottawa [Ottawa]
- University of Oxford
- University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
- University of Portsmouth
- University of Prince Edward Island
- University of Saskatchewan [Saskatoon, Canada]
- University of Southampton
- University of Strathclyde [Glasgow]
- University of Stuttgart
- University of Szeged [Szeged]
- University of Tabriz [Tabriz]
- University of Technology
- University of Technology Sydney
- University of Tehran
- University of Turku
- University of Victoria [Canada]
- University of Warsaw
- University of Waterloo [Waterloo]
- University of York [York, UK]
- University of Zanjan
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Università degli Studi di Milano = University of Milan
- Università degli Studi di Milano-Bicocca = University of Milano-Bicocca
- Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
- Università degli Studi di Roma Tor Vergata [Roma, Italia] = University of Rome Tor Vergata [Rome, Italy] = Université de Rome Tor Vergata [Rome, Italie]
- Università degli Studi di Salerno = University of Salerno
- Università degli Studi di Sassari = University of Sassari [Sassari]
- Università degli Studi di Udine - University of Udine [Italie]
- Università degli studi di Catania = University of Catania
- Università degli studi di Genova = University of Genoa
- Università degli studi di Torino = University of Turin
- Universitá degli Studi dell’Insubria = University of Insubria [Varese]
- 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 Heidelberg [Heidelberg] = Heidelberg University
- Universität Kassel [Kassel]
- Universität Zürich [Zürich] = University of Zurich
- Universität des Saarlandes [Saarbrücken]
- 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 Cité
- 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é Paris-Sud - Paris 11
- Université Pierre Mendès France - Grenoble 2
- Université Publique de France
- Université Sorbonne Paris Cité
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier
- Université d'Orléans
- Université de Bordeaux
- Université de Bretagne Sud
- Université de Caen Normandie
- Université de Franche-Comté
- Université de Lorraine
- Université de Lyon
- Université de Montpellier
- Université de Nantes
- Université de Nantes - UFR des Sciences et des Techniques
- Université de Rennes
- Université de Sfax - University of Sfax
- Université de Technologie de Belfort-Montbeliard
- Université de Toulon
- Université de Toulouse
- Université de Tsukuba = University of Tsukuba
- Université de la Méditerranée - Aix-Marseille 2
- Université du Luxembourg = University of Luxembourg = Universität Luxemburg
- Université libre de Bruxelles
- Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic]
- Ural Federal University [Ekaterinburg]
- VIT University
- Vali-e-Aser University of Rafsanjan
- Vellore Institute of Technology
- Vienna University of Technology = Technische Universität Wien
- Virginia Tech [Blacksburg]
- Vrije Universiteit Brussel [Bruxelles]
- Warsaw University of Technology [Warsaw]
- Waseda University [Tokyo, Japan]
- Westsächsische Hochschule Zwickau = West Saxon University of Applied Sciences of Zwickau
- Wroclaw University of Economics
- Yazd University
- Yonsei University
- Åbo Akademi University [Turku]
- École Centrale de Marseille
- École Centrale de Nantes
- École Nationale Supérieure d'Ingénieurs de Caen
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- École des Mines de Saint-Étienne
- École des Ponts ParisTech
- École normale supérieure - Cachan
- École normale supérieure - Rennes
- École normale supérieure de Lyon
- Équipe Verification de Systèmes Temporisés Critiques