- Auckland University of Technology
- Categorical Informatics
- Centre National de la Recherche Scientifique
- Construction of verified concurrent systems
- Free University of Bozen-Bolzano
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Imperial College London
- Inria Grenoble - Rhône-Alpes
- Institut National de Recherche en Informatique et en Automatique
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Jacobs University = Constructor University [Bremen]
- Laboratoire d'Informatique de Grenoble
- Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München
- Massachusetts Institute of Technology
- National University of Ireland Maynooth
- Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg]
- Swansea University
- Universidade de Aveiro
- Universidade do Minho = University of Minho [Braga]
- University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
- University of Illinois System
- University of Illinois at Urbana-Champaign [Urbana]
- University of Oslo
- University of Portsmouth
- University of York [York, UK]
- Universität des Saarlandes [Saarbrücken]
- Université Grenoble Alpes [2016-2019]