9h30
10h00 |
Accueil |
10h00
11h00 |
Compiling Semiring-based Constraints with clp(FD,S)
Y. Georget et P. Codognet (Inria)
|
résumé |
Contraintes symboliques en Programmation Linéaire sur Nombres entiers
A. Bockmayr (Loria) et T. Kasper (MPI Sarrebruck)
|
résumé |
11h00
11h30 |
Pause |
11h30
12h30 |
Programmation par réécriture et Stratégies pour la Programmation avec Contraintes
C. Ringeissen, C. Kirchner (Loria)
|
résumé |
Stratégies parallèles de propagation d'intervalles
L. Granvilliers, G. Hains (Lifo)
|
résumé |
12h30
14h00 |
Déjeuner |
14h00
15h30 |
Parallel Algorithmic Skeletons and the
Exploitation of Regularity in Symbolic Programming
M. Cole (Edimburgh)
|
résumé |
Programmation en logique OU-parallèle dans le projet APACHE
J. Chassin (Imag)
|
résumé |
Définition récursive de tableaux et de champs de données
J.-L. Giavitto (Lri)
|
résumé |
15h30
16h00 |
Pause |
16h00
17h30 |
Des flots vers un anamorphisme
B. Barbier (Besançon)
|
résumé |
E-Unification et Langages d'arbres
F. Saubion (Léria), S. Limet, P. Réty (Lifo)
|
résumé |
On the Word, Subsumption, and Complement
Problem for Recurrent Term Schematizations
M. Hermann (Loria)
|
résumé |
| 17h30 |
Discussions et planification de la suite des activités du projet |
| 19h45 |
Diner (en centre ville) - offert |