1. • INDES research team (*), INRIA Sophia Antipolis Méditerranée.
   

Ilaria Castellani (chargée de recherche INRIA, project leader)

Tamara Rezk (chargée de recherche INRIA)

Web pages:

http://www-sop.inria.fr/members/Ilaria.Castellani/

http://www-sop.inria.fr/members/Tamara.Rezk/

(*) The INDES team started in January 2009, following the closure of MIMOSA.

1. • Semantics and Logic of Computation group, Computer Science Dept, University of Torino.
   
   

Mariangiola Dezani-Ciancaglini (full professor, site leader)

Sara Capecchi (post-doctoral fellow)

Web pages:

http://www.di.unito.it/~dezani/index.html

http://www.di.unito.it/~capecchi/