logo inria

Retour à la liste des projets INDEX

-----------------------
INRIA - Rapports d'activité 2001
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
MIRO - Systèmes à objets, types et rpotoypes : sémantique et validation
MODBIO - Modèles informatiques en biologie moléculaire
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


ADAGE - Algorithmique discrète et ses applications à la génomique
ALGO - Algorithmes
ARENAIRE - Arithmétique des Ordinateurs
CAFE - Calcul Formel et Équations
CODES - Codage et cryptographie
COPRIN - Contraintes, OPtimisation et Résolution par INtervalles
GALAAD - Géométrie, ALgèbre, Algorithmess
PRISME - Géométrie, Algorithmes et Robotique
SPACES - Systèmes Polynomiaux, Arithmétiques, Calculs Efficaces et Sûrs

webmaster@inria.fr