Programme de JFPLC'2001
Des démonstrations
auront lieu sur le stand de l'AFPLC.
Le programme est à consulter sur place. Consultez les résumés des démonstrations ici.
|
|
M a r d i
2 4
A v r i l
|
|
|
08:30-09:00 |
Accueil |
09:00-10:30 |
Ouverture des JFPLC :
Pierre
Deransart, Président des journées, INRIA-Rocquencourt,
France
Philippe
Codognet, Président du comité de programme,
Université Paris 6, France
Conférencier invité :Ugo
Montanari, Università di Pisa, Italie
|
10:30-11:00 |
Pause café |
11:00-12:30 |
Session CSP
- Refining the basic constraint
propagation algorithm
Christian Bessière, LIRMM, Montpellier, France,
Jean-Charles Regin, Ilog, Valbonne, France
- A Theoretical Analysis
of the Average Time-Complexity of Constraint-Level Heuristics
for Arc-Consistency Algorithms
M.R.C. van Dongen, University College Corke, Ireland
- An Algorithm for Fast Recognition
of Connected Row-Convex Constraint Networks
Enhong Chen, Zhenya Zhang, Xufa Wang, USTC, Hefei, Chine,
Kazuyuki Aihara, University of Tokyo, Japon
|
12:30-14:30 |
Pause déjeuner |
14:30-16:00 |
Session Programmation par Contraintes I
- Un résolveur d'ordonnancements
de gammes sur le long terme avec intégration dynamique
des temps de réglage
Sébastien Buthod-Garçon, SPARFLEX, Epernay,
France,
Michel Dumoulin, Laurent Trilling, LSR-IMAG, Saint Martin
d'Heres, France
- High-level Reformulation
of Constraint Programs
Brahim Hnich, Pierre Flener, Uppsala University, Suède
- Recherche adaptative et
contraintes musicales
Charlotte Truchet, Carlos Agon, Gerard Assayag, IRCAM,
Paris, France
|
16:00-16:30 |
Pause café |
16:30-18:00 |
Session Logique
- Symétries pour
les modèles finis des théories de la logique
du premier ordre
Gilles Audemard, Belaid Benhamou, LIM, Marseille, France
- A Confluent Extension
of Lafont's Interaction Nets
Satoshi Matsuoka, NIT, Gokiso, Japon
- Optimal models and optimal
trajectories in logical dynamics
Areski Nait Abdallah, UWO, London, Canada
|
18:00-20:00 |
Assemblée générale de l'AFPLC |
|
|
|
Mercredi 25 Avril |
|
|
La
journée |
Journée ASTI (Le programme détaillé
est à consulter ici)
|
à
partir de 20:00 |
Banquet à la maison
des polytechniciens derrière le musée d'Orsay (12 rue de Poitiers 75007 Paris)
- Coktail dans le salon Watteau
- Diner dans le salon Le Brun
(pour s'y
rendre...) |
|
|
|
J e u d i
2 6
A v r i l
|
|
|
09:00-10:30 |
Conférencier invité :Alain
Colmerauer, Université de Marseille
|
10:30-11:00 |
Pause café |
11:00-12:30 |
Session Posters |
12:30-14:30 |
Pause déjeuner |
14:30-16:00 |
Témoignages industriels
- LISCOS : Large scale Integrated Supply Chain Optimisation
Software
Yves POCHET, Université Catholique de Louvain
(UCL.CORE), Belgique
- Constraint programming in real - live scheduling applications
T. Cornelissens, OM Partners
- Comment la programmation par contraintes prend en compte les contraintes industrielles de THALES
Juliette Matioli, THALES
|
16:00-16:30 |
Pause café |
16:30-19:00 |
RNTL (Amphithéatre ARMAND)
Dans le cadre du colloque
RNTL :
- 16:30 - Introduction par Gérard Roucairol, président
du RNTL
- 16:35 - Intervention de Monsieur Roger-Gérard Schwartzenberg,
Ministre de la Recherche
- 16:45 - Présentation du RNTL
- 17:00 - Présentation du projet PERF-RV : PlatE-foRme
Française de Réalité Virtuelle, bureau
d'étude du futur
- 17:30 - Présentation du projet SALOME : Simulation
numérique par Architecture Logicielle en Open source
- 18:00 - Les enjeux du RNTL
- 18:10 - Intervention de Christian Pierret, Secrétaire
d'État à l'Industrie
- 18:20 - Visite de l'espace projets
- 19:00 - Coktail sur place
Voir le programme
complet. |
|
|
|
V e n d r e d i
2 7
A v r i l
|
|
|
09:00-10:30 |
Session
Environnement et Validation
-
HyperPro - Un environnement intégré de documentation
pour la PLC
AbdelAli Ed-Dbali, LIFO, Université d'Orleans,
France
Pierre Deransart, INRIA-Rocquencourt, France
Mariza A. S. Bigonha, José de Siqueira, Roberto da
S. Bigonha, UFMG, Belo-Horizonte, Brésil
-
cTI : un outil pour l'inférence de conditions optimales
de terminaison pour Prolog
Fred Mesnard, Université de la Réunion,
France
Ulrich Neumerkel, UTV, Vienne, Autriche
Etienne Payet, Université de la Réunion,
France
-
Preuves de programmes logiques par induction et coinduction
Sorin Craciunescu, INRIA-Rocquencourt, France
|
10:30-11:00 |
Pause café |
11:00-12:30 |
Session Distribution et Concurrence
- Mobile Concurrent Constraint
Programming
Nicolas Romero, LIFO, Université d'Orléans,
France
- Recherche Coopérative
et Nogood Recording
Cyril Terrioux, LIM, Université de Marseille,
France
- Impact de la Programmation
Logique Parallèle et par Contraintes sur l'Ingénierie
des Systèmes Multi-Agents
Abdelfettah Hasbani, Olivier Guinaldo, LIMOS, Clérmont
Ferrand, France
|
12:30-14:30 |
Pause déjeuner |
14:30-16:00 |
Session Programmation par Contraintes II
- Améliorations
de la complexité des kB-consistances
Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou,
IRIN, Nantes, France
- Programmes Logiques avec
Contraintes Typés
Emmanuel Coquery, François Fages, INRIA-Rocquencourt,
France
- Parametric Descriptive
Types for CLP
Wlodeck. Drabent, ICS-PAS, Warsovie, Pologne
Jan Maluszynski, Linkoeping University, Linkoeping, Suède
Pawel Pietrzak, ICS-PUS, Posnan, Pologne
|
16:00-16:30 |
Pause café... Fin des JFPLC'2001 |
|
|