Thème de recherche SPI - Sémantiques, preuves et implantation
Responsable :
Thérèse Hardin
Brève présentation
Le thème SPI (Sémantique, preuves et implantation) s'intéresse à la certification des systèmes logiciels, aux langages de spécification et de programmation (répartition et synchronisme). Les applications visent les systèmes traditionnellement très critiques. Le thème aborde également des questions d'informatique fondamentale dans le domaine de la sémantique.
ATTENTION : L'organisation en thèmes n'existe plus depuis 2006, voir maintenant dans les équipes.
janvier 1997 → décembre 2003