Programmation par Contraintes
CONTRAINTES
Rapport d'activité de l'année 2000
Rocquencourt
Thème : 2a
Page de présentation du
projet - Rapport d'activité au format PostScript ou PDF
N.B. Contraintes est conÇu pour devenir un projet commun
avec l'Université de Paris 6.
-
Composition de
l'équipe
- Présentation et objectifs
généraux
-
Fondements
scientifiques
-
Domaines
d'applications
-
Logiciels
-
Résultats nouveaux
- Contrats industriels (nationaux,
européens et internationaux)
-
Actions régionales, nationales et
internationales
-
Diffusion de résultats
-
Animation de la
Communauté scientifique
-
Enseignement
- DEA
Sémantique, preuves et programmation, Universités
Paris 6, Paris 7, Paris 11,
ENS Ulm, ENS Cachan,
Ecole Polytechnique, CNAM
- DEA IARFA,
UNiversité Paris 6
- DEA
Informatique, Université d'Orléans
- DESS GLA,
Université de Paris 6
- Bibliographie