Programme scientifique
| Lundi 26 mai 1997 | |
| 8:30 -- 9:15 | Accueil des participants |
| 9:15 -- 9:30 | Discours de bienvenue |
| 9:30 -- 10:30 | Conférence invitée 1 |
| Catuscia Palamidessi, Professeur à l'Université de Gênes Constraint Programming for Concurrent and Distributed Computing |
|
| 10:30 -- 11:00 | Pause |
| 11:00 -- 12:30 | Session 1: Langages et extensions |
| Donald A. Smith: MixLog: a generalized rule-based language | |
| Jean-Hugues Réty: Un langage distribué concurrent avec contraintes | |
| Arnaud Lallouet: DP-LOG : un langage logique data-parallèle | |
| 13:00 -- 14:00 | Déjeuner |
| 14:30 -- 16:00 | Session 2: Sémantique |
| Maarten H. van Emden: Canonical extensions as common basis for interval constraints and interval arithmetic | |
| Karine Liogier: Négation constructive et modèles bivalués | |
| Viet Phan Luong: Computing stable models of datalog programs with negation | |
| 16:00 -- 16:30 | Pause |
| 16:30 -- 18:00 | Session 3: Problèmes de satisfaction de contraintes |
| Nicolas Barnier et Pascal Brisset: Optimisation par hybridation d'un CSP avec un algorithme génétique | |
| Pierre Dago: Backtrack dynamique valué | |
| Narendra Jussien et Patrice Boizumault: Stratégies en meilleur d'abord pour la relaxation de contraintes | |
| 18:00 | Session posters + démos (salle 2-Muséum) |
| 19:00 | Assemblée générale de l'AFPL |
| Mardi 27 mai 1997 | |
| 9:30 -- 10:30 | Conférence invitée 2 |
| Jacques Carlier, Professor at Université de Technologie de Compiègne en collaboration avec Eric Pinson, Université Catholique de l'Ouest Bounds and adjustments associated with the Pm/ri,qi/Cmax scheduling problem |
|
| 10:30 -- 11:00 | Pause |
| 11:00 -- 12:30 | Session 4: Contraintes |
| Eric Boucher et Bruno Legeard: Procedure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes | |
| Laurent Granvilliers: Transformations symboliques et consistance de bloc de CSP continus | |
| Christine Solnon: Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers | |
| 13:00 -- 14:00 | Déjeuner |
| 14:00 -- 19:00 | Demi-journée industrielle |
| 14:00 -- 15:45 | |
| Accueil, par Olivier Jouin, d'Orléans Technopole | |
| - Frédéric Benhamou: Les atouts du Laboratoire d'Informatique de l'Université d'Orléans | |
| - Philippe Codognet: Programmation par contraintes: une introduction | |
| - Abder Aggoun: Modélisation, résolution de problèmes industriels | |
| - Kamel Heus: L'informatisation des plannings des personnels, exemple dans une unité de soins | |
| 15:45 -- 16:30 | |
| Pause et démonstrations | |
| 16:30 -- 18:00 | |
| - Stéphane N'Dong Systèmes de simulation d'attribution de crédits immobiliers Planification de tournées de maintenance Optimisation de processus industriels |
|
| - Jean-Francois Puget Ordonnancement de production, emploi du temps d'équipes, allocation de ressources, organisation de parcours, logistique, ... |
|
| 18:00 | |
| Cocktail et démonstrations | |
| 19:00 | Réception à la Mairie (Hôtel Groslot) |
| Mercredi 28 mai 1997 | Journée commune JFPLC'97-UNIF'97, les sessions du workshop UNIF'97 sont parallèles. |
| 8:30 -- 9:15 | Accueil des participants UNIF'97 |
| 9:15 -- 9:30 | Discours d'ouverture UNIF'97 |
| 9:30 -- 10:30 | Conférence invitée 3 |
| John Alan Robinson, Professeur Emérite à l'Université de Syracuse Unification and resolution in retrospect |
|
| 10:30 -- 11:00 | Pause |
| 11:00 -- 12:30 | Session 5: Résolution et optimisation |
| Jean-Michel Richer et Jean-Jacques Chabrier: Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes | |
| Olivier Roussel et Philippe Mathieu: Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel | |
| Mathieu Jaume: Formalisation de la SLD-résolution dans le cas des constructions inductives | |
| 13:00 -- 14:00 | Déjeuner |
| 14:30 | Départ de l'excursion avec visite du Château de Blois |
| 19:30 | Banquet |
| Jeudi 29 mai 1997 | Deuxième journée UNIF'97 |
| Vendredi 30 mai 1997 | Dernière journée UNIF'97 |