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


Retour à la page principale.