Cours donné avec Sylvain Soliman.
 

Liste des stages proposés par le projet Contraintes à l'INRIA Rocquencourt.

Mini projet de programmation à rendre le 22 mars à Sylvain Soliman.

Le plan des cours est:

1. Classe CLP(X)  des langages de programmation logique avec contraintes sur une structure X
2. Applications en optimisation combinatoire
3. Sémantiques logique et point fixe des progammes CLP(X)
4. "Model checking" avec contraintes
5. Classe CC(X) des langages concurrents avec contraintes
6. Sémantique logique linéaire de CC(X)
7. Contraintes et changements d'états dans le langage LCC

1. Introduction
2. Rappels de logique, théories complètes et décidabilité des langages de contraintes,
3. Programmes logiques avec contraintes, exemples PLC(H,B,FD,R), algorithmes de propagation de contraintes
   
4. Sémantique opérationnelle et de point fixe, interprétation abstraite, vérification de modèles
5. Sémantique logique, démonstration automatique, ordre supérieur
6. Langages concurrents avec contraintes I: sémantique opérationnelle et exemples
7. Langages concurrents avec contraintes II: sémantique dénotationnelle and propagation de contraintes (PDF couleur, PS noir et blanc)
8. Langages concurrents avec contraintes III: linear logic semantics (PDF couleur, PS noir et blanc)
9. Conclusion et perspectives, panorama d'outils existants, sujets de recherche d'actualité.