- Brno University of Technology [Brno]
- C-LAB [Paderborn]
- Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg
- Centre National de la Recherche Scientifique
- Centre d'études et de recherche en informatique et communications
- Centre de Recherche en Informatique
- Christian-Albrechts-Universität zu Kiel = Christian-Albrechts University of Kiel = Université Christian-Albrechts de Kiel
- Conservatoire National des Arts et Métiers [CNAM]
- Daimler Chrysler AG
- Deduction modulo, interopérabilité et démonstration automatique
- Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
- Fachhochschule Münster [Steinfurt]
- Federal University of Amazonas
- Federal University of Rio Grande do Norte
- Federal University of Rio Grande do Sul
- Federal University of Sergipe = Université fédérale de Sergipe
- Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
- Goethe University Frankfurt
- HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université
- Hamm-Lippstadt University of Applied Sciences = Hochschule Hamm-Lippstadt
- Heinz Nixdorf Institute
- Hella
- IDCapture
- Informatics Institute
- Inria Paris-Rocquencourt
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut Supérieur d'Electronique de Paris
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Information Technology [Oldenburg]
- Instituto Federal Goiano = Goiano Federal Institute
- Instituto Federal do Rio Grande do Sul
- Instituto de Informática, Programa de Pós-Graduação em Computação [Porto Alegre]
- Japan Advanced Institute of Science and Technology
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique, Signal et Image, Electronique et Télécommunication
- Mines Paris - PSL (École nationale supérieure des mines de Paris)
- Nagoya University
- Nara Institute of Science and Technology
- Nokia Bell Labs [Antwerp]
- Northeastern University [Boston]
- OKUMA Corporation
- Ritsumeikan University
- Saint-Petersburg State University of Aerospace Instrumentation
- Saint-Petersburg University of Aerospace Instrumentation
- Santa Catarina State University
- Tampere University of Technology [Tampere]
- Technical University of Berlin | Technische Universität Berlin
- Technische Universität Darmstadt - Technical University of Darmstadt
- Technische Universität Dresden = Dresden University of Technology
- Tokyo City University
- Universidad de la República [Montevideo]
- Universidade Federal da Paraiba | Federal University of Paraiba
- Universidade Federal de Minas Gerais = Federal University of Minas Gerais [Belo Horizonte, Brazil]
- Universidade Federal do Rio Grande do Norte [Natal]
- Universidade Federal do Rio Grande do Sul [Porto Alegre]
- Universidade Tecnológica Federal do Paraná [Curitiba, Brasil] = Federal Technological University of Paraná [Curitiba, Brazil] = Université technologique fédérale du Paraná [Curitiba, Brésil]
- University of Amsterdam [Amsterdam] = Universiteit van Amsterdam
- University of California
- University of California [Irvine]
- University of Oldenburg
- University of Paderborn
- University of Southern Denmark
- University of Stuttgart
- University of Texas at Austin [Austin]
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Université Joseph Fourier - Grenoble 1
- Université Paris Sciences et Lettres
- Université Pierre Mendès France - Grenoble 2
- Univesidade Federal do Rio Grande do Norte = Federal University of Rio Grande do Norte
- Validation de Systèmes, Composants et Objets logiciels
- Vanderbilt University [Nashville]
- ZF Friedrichshafen AG
- dSpace