 |
WG 2.2: Formal Description of Programming Concepts |  |
- Aalborg University [Denmark]
- Aalto University
- Aarhus University [Aarhus]
- Academic Center for Computing and Media Studies
- ActiveEon
- Aix Marseille Université
- Alma Mater Studiorum Università di Bologna [Bologna]
- Assistance à la Certification d’Applications DIstribuées et Embarquées
- Australian National University
- Beijing Institute of Technology
- COMUE Université Côte d'Azur (2015-2019)
- COMmunications, Réseaux, systèmes Embarqués et Distribués
- 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
- Certus Centre for Software Validation and Verification
- Chennai Mathematical Institute [Inde]
- Chinese Academy of Sciences [Beijing]
- Chinese Academy of Sciences [Changchun Branch]
- Christian-Albrechts-Universität zu Kiel
- Cluster of Excellence Multimodal Computing and Interaction
- Combination of approaches to the security of infinite states systems
- Computer Science and Engineering Department [Bucharest]
- Computer Science department [Michigan Tech]
- Computing Science Department
- Concurrency, Mobility and Transactions
- Consiglio Nazionale delle Ricerche [Roma]
- Construction of verified concurrent systems
- Czech Academy of Sciences [Prague]
- Department of Computer Science
- Department of Computer Science [Auckland]
- Department of Computer Science [Verona]
- Department of Computer Science and Engineering
- Department of Computer Science and Engineering [New Delhi]
- Department of Formal Methods
- Department of Mathematics
- Department of Mathematics and Computer Science
- 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 Informatica - Scienza e Ingegneria [Bologna]
- Dipartimento di Matematica e Informatica
- Dipartimento di Sistemi e Informatica
- Dipartimento di informatica
- Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science
- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
- ESIEE Paris
- East China University of Science and Technology
- Eco-informatics
- Ecole Nationale Supérieure de Mécanique et des Microtechniques
- Eindhoven University of Technology [Eindhoven]
- École Centrale de Marseille
- É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 - Lyon
- École polytechnique
- Fachgruppe Informatik
- Faculty of Science, Technology and Communication [Luxembourg]
- Federal University of Goiás [Jataí]
- Ferdowsi University of Mashhad
- Foundations of Component-based Ubiquitous Systems
- Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
- Friedrich-Alexander Universität Erlangen-Nürnberg
- Fédération de Recherche Bézout
- Google Inc.
- Graz University of Technology [Graz]
- Grenoble University
- Griffith University [Brisbane]
- Halmstad University
- Hasso Plattner Institute [Potsdam, Germany]
- Helsingin yliopisto = Helsingfors universitet = University of Helsinki
- Institute for Systems and Computer Engineering, Technology and Science [Braga]
- IMT Institute for Advanced Studies [Lucca]
- IT University of Copenhagen
- Imperial College London
- Indian Institute of Technology Delhi
- Indraprastha Institute of Information Technology [New Delhi]
- Inria Grenoble - Rhône-Alpes
- Inria Nancy - Grand Est
- Inria Paris-Rocquencourt
- Inria Saclay - Ile de France
- Inria Sophia Antipolis - Méditerranée
- Institut Galilée
- Institut Mines-Télécom [Paris]
- Institut National Polytechnique (Toulouse)
- 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 Marseille
- 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 for Theoritical Physics and Mathematics
- Institute of Automation - Chinese Academy of Sciences
- Institute of Cybernetics [Tallinn]
- Institute of Informatics
- International Institute for Software Technology [Macao]
- Iran University of Science and Technology [Tehran]
- Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo"
- Justus-Liebig-Universität Gießen = Justus Liebig University
- King‘s College London
- Kyoto University Hospital
- Kyoto University [Kyoto]
- 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'Algorithmique Complexité et Logique
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- 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
- Leiden Institute of Advanced Computer Science [Leiden]
- 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
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- Michigan State University System
- Michigan State University [East Lansing]
- Michigan Technological University
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research
- Microsoft Research [Redmond]
- Mobile Network Performance Group
- Mälardalen University
- Nanyang Technological University [Singapour]
- National ICT Australia [Sydney]
- National Technical University of Athens [Athens]
- National University of Singapore
- Netherlands Organisation for Scientific Research
- Open University of the Netherlands [Heerlen]
- Politecnico di Milano [Milan]
- Preuves et Langages
- Preuves, Programmes et Systèmes
- Proof search and reasoning with logic specifications
- Radboud university [Nijmegen]
- Reykjavík University
- Rheinisch-Westfälische Technische Hochschule Aachen
- Riphah International University
- Saarland University [Saarbrücken]
- Safe Composition of Autonomous applications with Large-SCALE Execution environment
- Sandia National Laboratories - Corporation
- Sandia National Laboratories [Albuquerque]
- ScaLable Information Discovery and Exploitation [Grenoble]
- School of Computer Sc. and Eng.
- School of Computer Science and Engineering
- School of Computing Science [Glasgow, Scotland]
- School of Electrical Engineering and Computer Science [Tehran]
- School of Information Technology and Electrical Engineering
- School of Science and Technology
- School of Telecommunication Engineering, Institute of Engineering
- Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
- Shahid Bahonar University of Kerman
- Shahid Beheshti University G.C.
- Shanghai Jiao Tong University [Shanghai]
- Sharif University of Technology [Tehran]
- Shimane University
- Slovak Academy of Sciences
- State Key Laboratory of Computer Science, Institute of Software
- Suranaree University of Technology
- TOBB University of Economics and Technology [Ankara]
- Tallinn Technical University
- Technical Faculty Bor
- Technical University of Ostrava [Ostrava]
- Technische Universität Berlin
- Technische Universität Dortmund [Dortmund]
- Tel Aviv University [Tel Aviv]
- The Chinese University of Hong Kong [Hong Kong]
- The University of Tokyo
- Tohoku University [Sendai]
- Tsinghua University [Beijing]
- Télécom SudParis
- Umeå University
- United Nations University
- Univ. of New South Wales
- Universita degli Studi di Cagliari [Cagliari]
- Universita degli studi di Genova
- Universitat Politècnica de Catalunya [Barcelona]
- Universiteit Leiden [Leiden]
- Universiteit Utrecht
- University Politehnica of Bucharest [Romania]
- University of Antwerp
- University of Auckland [Auckland]
- University of Augsburg
- University of Bamberg
- University of Belgrade [Belgrade]
- University of Ca’ Foscari [Venice, Italy]
- University of Debrecen
- University of Freiburg
- University of Fukui [Bunkyo]
- University of Glasgow
- University of Kassel
- University of Leicester
- University of Luxembourg [Luxembourg]
- University of Minho [Braga]
- University of New South Wales [Sydney]
- University of Notre Dame [Indiana]
- University of Oslo
- University of Ottawa [Ottawa]
- University of Pisa - Università di Pisa
- University of Pretoria [South Africa]
- University of Queensland [Brisbane]
- University of Southampton
- University of Strathclyde [Glasgow]
- University of Szeged [Szeged]
- University of Tabriz [Tabriz]
- University of Technology
- University of Technology Sydney
- University of Tehran
- University of Turku
- Università degli Studi dell'Aquila
- Università degli Studi di Firenze = University of Florence [Firenze]
- Università degli Studi di Milano [Milano]
- Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
- Università degli Studi di Salerno
- Università degli studi di Torino = University of Turin
- Università degli studi di Verona = University of Verona
- Universität Duisburg-Essen [Essen]
- Universität Heidelberg [Heidelberg]
- Université Bourgogne Franche-Comté [COMUE]
- Université Claude Bernard Lyon 1
- Université Côte d'Azur
- Université Fédérale Toulouse Midi-Pyrénées
- Université Grenoble Alpes [2016-2019]
- Université Henri Poincaré - Nancy 1
- Université Nancy 2
- Université Nice Sophia Antipolis (... - 2019)
- Université Paris 13
- 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é Sorbonne Paris Cité
- Université Toulouse - Jean Jaurès
- Université Toulouse 1 Capitole
- Université Toulouse III - Paul Sabatier
- Université de Bordeaux
- Université de Franche-Comté
- Université de Lorraine
- Université de Lyon
- Université de Technologie de Belfort-Montbeliard
- Université de la Méditerranée - Aix-Marseille 2
- Uppsala University
- Ural Federal University [Ekaterinburg]
- Utrecht University [Utrecht]
- Vienna University of Technology
- Vrije universiteit = Free university of Amsterdam [Amsterdam]
- Warsaw University of Technology [Warsaw]
- West Virginia University [Morgantown]
- Westsächsische Hochschule Zwickau