- Formal Methods Europe

- Ecole SITI-Cnam

- Cnam Computer Science Department

- MeFoSyLoMa

- CEDRIC