- ENS Cachan: LSV laboratory
- INRIA-IRISA:VERTECS and TRISKELL teams
- INRIA-Rhone-Alpes: VASY-project
- SRI International
- LAAS Laboratory
- University of Stanford
|
- University of Freiburg
- University of Mannheim
- University of Kiel
- University of Liege
- University Paris 7: LIAFA laboratory
- University of Urbana-Champaign
|
- University of Uppsala
- Weizmann Institute of Science
- University of Brussels
- OFFIS
- University of Bar Ilan
|