Elenco delle unità di ricerca
| Università/Istituzione | DIpartimento/Laboratorio | Responsabile Scientifico | |
|---|---|---|---|
| + | Università Roma Tre | Dipartimento di Filosofia | V. Michele Abrusci |
| + | Università di Bologna | Dipartimento di Scienze dell'Informazione | Simone Martini |
| + | Università di Torino | Dipartimento di Informatica | Simona Ronchi della Rocca |
| + | Università di Roma "La Sapienza" | Dipartimento di Informatica | Stefano Guerrini |
| + | Università di Padova | Dipartimento di Matematica Pura e Applicata | Giovanni Sambin |
| + | Université Paris 7 - CNRS Paris | Equipe Preuves Programmes et Systèmes | Antonio Bucciarelli |
| + | Université Paris 13 | Laboratoire d'Informatique de l'Université Paris Nord | Jacqueline Vauzeilles |
| + | INRIA-Lorraine (Institut National de Recherche en Informatique et en Automatique) | LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) | Jean-Yves Marion |
| + | CNRS Délégation Provence Alpes Côtes d'Azur | Institut de Mathématiques de Luminy | Thomas Ehrhard |