Sigles employés

CPL

Pôle «Contraintes et programmation Logique».

PSA

Pôle «Preuves et Spécifications Algébriques».

PPD

Pôle «Programmation Parallèle et Distribuée».

PF

Pôle «Programmation Fonctionnelle».

PO

Pôle «Programmation par Objet».

IE

Pôle «Interface et Environnement».