Précédent : Résultats nouveaux
Remonter : Projet LOCO, Programmation en LOgique
Suivant : Actions régionales, nationales et
internationales
Une collaboration avec le centre de recherche de Rank Xerox à Grenoble se développe autour du thème « Coordination de tâches collaboratives », c'est-à-dire de l'utilisation de techniques de résolution de contraintes pour la synchronisation dans le domaine du « workflow » distribué. Les travaux sur la rétraction de contraintes et l'implication entre contraintes sur les domaines finis sont ici importants.
Collaboration avec la société PrologIA autour du produit commercial Prolog IV et l'amélioration de l'environnement de débogage.
Collaboration dans le cadre du projet DiSCiPl pour l'amélioration de l'environnement de débogage de CHIP-V5.
Nous avons organisé les JFPLC'97 à Orléans qui constituent un point de rencontre recherché de la communauté francophone des chercheurs en programmation en logique et programmation par contraintes, et des industriels du domaine. En liaison avec Orléans-Technopôle, nous avons organisé dans le cadre des journées JFPLC'97, une demi journée spécialement dédiée aux industriels de la région Centre où nous avons présenté, avec l'aide d'intervenants des sociétés ILOG, PrologIA et COSYTEC, une série d'exposés et de démonstrations sur les applications industrielles de la programmation par contraintes.