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 |