logo inria

Retour à la liste des projets INDEX

-----------------------
INRIA - Rapports d'activité 2000
Liste des projets du thème 2
-----------------------

Thème 2A : Sémantique et programmation

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

Thème 2B : Algorithmique et calcul formel

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

webmaster@inria.fr