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.
