9h30
10h00 |
Accueil: salle 05
de l'IHP |
10h00
12h30 |
Langages concurrents avec contraintes
basés sur la logique linéaire
F. Fages (INRIA, Rocquencourt)
|
résumé |
Application des contraintes à l'extraction de connaissances dans les
bases de données
Ch. Vrain (LIFO, Orléans)
|
résumé |
Stratégies parallèles de propagation d'intervalles:
résultats et perspectives
L. Granvilliers (IRIN, Nantes)
|
résumé |
Evaluation de spécifications formelles en PLC ensembliste
L. Py (LIFC, Besançon)
|
résumé |
Recherche adaptative
Ph. Codognet (LIP6, Paris)
|
12h30
14h00 |
Déjeuner
(libre) |
| 14h00 |
Suite de la
journée, salle 01. |
14h00
17h00 |
Clôture par congruence modulo associativité
et commutativité
L. Vigneron (LORIA, Nancy)
|
résumé |
Un outil pour résoudre les problèmes NP-Complets sur une architecture reconfigurable
D. Singer (GIFM, Metz)
|
abstract |
Travaux récents en programmation parallèle fonctionnelle
J. Mallet (IRISA, Rennes) et G. Hains (LIFO, Orléans)
|
résumé |
|
Discussions et planification de la suite à donner au groupe
de travail LODEC.
|