- A.P. Ershov Institute of Informatics Systems [Novosibirsk]
- Centre National de la Recherche Scientifique
- David R. Cheriton School of Computer Science
- Department of Applied Mathematics and Computational Sciences [Nadu]
- Department of Formal Methods
- Department of Mathematics and Statistics [uni. Turku]
- Department of Pure Mathematics [Waterloo]
- Designing the Future of Computational Models
- Dipartimento di Informatica
- Eastern Mediterranean University
- Faculty of Informatics
- Faculty of Mathematics and Physics [Praha|Prague]
- Inria Nancy - Grand Est
- Institut National de Recherche en Informatique et en Automatique
- Institut für Informatik [Gießen]
- Japan Advanced Institute of Science and Technology
- Justus-Liebig-Universität Gießen = Justus Liebig University
- Kazan Federal University
- Korea Electronics Technology Institute [Seongnam-si]
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- PSG College of Technology [Coimbatore]
- Queen's University [Kingston, Canada]
- Saint Mary's University [Halifax]
- School of Computer Science [Waterloo]
- School of computing [Kingston]
- Slovak Academy of Sciences
- St Petersburg State University
- Trier University
- Universidad Andrés Bello [Santiago]
- University of Fukui [Bunkyo]
- University of Szeged [Szeged]
- University of Turku
- University of Waterloo [Waterloo]
- Università degli Studi di Milano = University of Milan
- Université de Lorraine
- Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic]
- Vellore Institute of Technology
- Vienna University of Technology = Technische Universität Wien
- Yonsei University