- Assistance à la Certification d’Applications DIstribuées et Embarquées
- Australian National University
- Centre National de la Recherche Scientifique
- Centrum Wiskunde & Informatica
- Centrum voor Wiskunde en Informatica
- Department of Computer Science
- Department of Computer Science [Oxford]
- Department of Computer Sciences
- Department of Mathematics and Computer Science [Udine]
- Department of mathematics [Bloomington]
- Friedrich-Alexander Universität Erlangen-Nürnberg
- Indiana University System
- Indiana University [Bloomington]
- Institut National Polytechnique (Toulouse)
- Institut de recherche en informatique de Toulouse
- Institut für Theoretische Informatik
- Institute for Computing and Information Sciences [Nijmegen]
- Institute for Logic, Language and Computation
- Lawrence Berkeley National Laboratory [Berkeley]
- Leiden Institute of Advanced Computer Science [Leiden]
- Netherlands Organisation for Scientific Research
- Radboud University Medical Center [Nijmegen]
- Radboud University [Nijmegen]
- Royal Holloway [University of London]
- School of Electronics and Computer Science
- Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
- Toulouse Mind & Brain Institut
- Universiteit Leiden [Leiden]
- Universiteit van Amsterdam
- University of Leicester
- University of Oxford
- University of Southampton
- University of Twente
- Università degli Studi di Udine - University of Udine [Italie]
- Universität Salzburg
- Université Fédérale Toulouse Midi-Pyrénées
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier