CALLIGRAMME -
Logique Linéaire, Réseaux de Démonstration et Grammaires
Catégorielles
CERTILAB -
Spécifications formelles, certification de logiciel
COMPOSE - Conception
de programmes et systèmes adaptatifs
CONTRAINTES -
Programmation par contraintes
CRISTAL -
Programmation typée, modularité et compilation
LANDE -
Conception et validation de logiciels
LEMME -
Logiciels et Mathématiques
LOGICAL -
Specification et preuves de programmes
OASIS -
Objets Actifs, Sémantique, Internet et Sécurité
PROTHEO - Contraintes,
Déduction automatique et Preuves de Propriétés de Logiciels
ALGO - Algorithmes
ARENAIRE -
Arithmétique des Ordinateurs
CAFE -
Calcul Formel et Équations
CODES -
Codage et cryptographie
POLKA -
Polynômes, Combinatoire, Arithmétique
PRISME -
Géométrie, Algorithmes et Robotique
SAGA -
Systèmes Algébriques, Géométrie et Applications
