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 |