Pôle "Interfaces et Environnements"

Les projets de recherche

CISé: contraintes interactives et sémantiques

ISIS: ingénierie des systèmes interactifs

MC2: manipulation de structures mathématiques

Minotaur: des spécifications formelles aux outils interactifs