|
|
|
|---|
| Lundi 27 Mai |
|---|
|
|---|
|
|
| 9h - 10h | Accueil |
|
|
|
|---|
| 10h - 11h | Conférence invitée (JFPLC) (Session commune JFPLC-JNPC) |
| Président : Laurent Granvilliers |
| 10h - 11h | - Du filtrage optimal à la stabilité parfaite |
| Pascal Van Hentenryck
|
|
|---|
|
|
|
|
|
|---|
| 11h30 - 13h | Contraintes numériques |
| Président : Olivier Lhomme |
| 11h30 - 12h | - Raisonnement sur les propriétés de contraintes numériques |
| Lucas Bordeaux, Eric Monfroy et Frédéric Benhamou
|
| 12h - 12h30 | - Résolution de problèmes non-linéaires avec continuum de solutions |
| Xuan-Ha Vu, Djamila Sam-Haroud et Marius-Calin Silaghi
|
| 12h30 - 13h | - Quelques applications de la propagation de contraintes sur les domaines continus en automatique |
| Luc Jaulin, Marc Christie et Laurent Granvilliers
|
|
|---|
|
|
|
|
|
|---|
| 14h30 - 16h | Logique I |
| Président : François Fages |
| 14h30 - 15h | - Optimisation par colonies de fourmis pour la programmation logique étendue |
| Pascal Nicolas, Frédéric Saubion et Igor Stéphan
|
| 15h - 15h30 | - Using automated induction-based theorem provers for reasoning about concurrent systems |
| Abdessamad Imine, Yahya Slimani et Sorin Stratulat
|
| 15h30 - 16h | - Non-termination inference for optimal termination conditions of logic programs |
| Fred Mesnard, Etienne Payet et Ulrich Neumerkel
|
|
|---|
|
|
|
|
|
|---|
| 16h30 - 18h | Environnement |
| Président : Abderrahmane Aggoun |
| 16h30 - 17h | - Explications conviviales pour la programmation par contraintes |
| Samir Ouis, Narendra Jussien et Olivier Lhomme
|
| 17h - 17h30 | - Analyse automatisée de traces d'exécution de programmes CLP(FD) |
| Mireille Ducassé et Ludovic Langevine
|
| 17h30 - 18h | - Prototypage de traceurs CLP(FD) : Un modèle de trace et son expérimentation |
| Ludovic Langevine, Pierre Deransart, Mireille Ducassé et Erwan Jahier
|
|
|---|
|
|
| 19h30 - 20h30 | Assemblée générale de l'AFPLC |
|
|
|
|
|
|
|
|---|
| Mardi 28 Mai |
|---|
|
|---|
|
|
|
|---|
| 9h - 10h | Conférence invitée (JNPC) (Session commune JFPLC-JNPC) |
| Président : Jin Kao Hao |
| 9h - 10h | - Génomique et optimisation combinatoire |
| Alain Guénoche
|
|
|---|
|
|
|
|
|
|---|
| 10h30 - 12h30 | Applications (Session commune JFPLC-JNPC) |
| Président : Gilles Trombettoni |
| 10h30 - 11h | - La plate-forme iOpt dédiée au développement des systèmes d'optimisation basés sur les méthodes heuristiques |
| Raphaël Dorne, Christos Voudouris, David Lesaint, Anne Liret et Cédric Ladde
|
| 11h - 11h30 | - Résolution d'un problème de conception de réseau avec Parallel Solver |
| Raphaël Bernard, Jacques Chambon, Claude Lepape, Laurent Perron et Jean-Charles Régin
|
| 11h30 - 12h | - Coopération entre génération de colonnes avec tournées sans cycle et recherche locale appliquée au routage de véhicules |
| Alain Chabrier, Emilie Danna et Claude Le Pape
|
| 12h - 12h30 | - Modélisation de systèmes biologiques en programmation conccurente par contraintes hybrides |
| Alexander Bockmayr et Arnaud Courtois
|
|
|---|
|
|
|
|
|
|---|
| 14h - 16h | CSP (Session commune JFPLC-JNPC) |
| Président : Christian Bessière |
| 14h - 14h30 | - Recherche arborescente bornée |
| Philippe Jégou et Cyril Terrioux
|
| 14h30 - 15h | - Representation of soft constraints by hard constraints |
| J.C. Régin, J.F Puget et Thierry Petit
|
| 15h - 15h30 | - Techniques de simplification de formule CNF |
| Richard Ostrowski , Eric Grégoire, Bertrand Mazure et Lakhdar Sa&iunl;s
|
| 15h30 - 16h | - Amortized non-systematic search algorithms |
| Olivier Lhomme
|
|
|---|
|
|
| 16h15 - | Départ pour la visite de Saint Paul de Vence |
|
|
| 20h - | Repas à Saint Paul de Vence |
|
|
|
|
|
|---|
| Mercredi 29 Mai |
|---|
|
|---|
|
|
|
|---|
| 8h30 - 10h | Logique II |
| Président : Pierre Deransart |
| 8h30 - 9h | - Généralisations correctes pour l'induction mathématique |
| Pascal Urso et Emmanuel Kounalis
|
| 9h - 9h30 | - Découverte de lemmes par instanciation de méta-variables dans les preuves par récurrence |
| M. Demba et K. Bsaies
|
| 9h30 - 10h | - Ré-écriture de programmes C-- en équations logiques |
| Olivier Ponsini
|
|
|---|
|
|
|
|
|
|---|
| 10h30 - 12h | Analyse de programmes |
| Président : Christine Solnon |
| 10h30 - 11h | - Using program analysis for integration and optimization of rule-based constraint solvers |
| Slim Abdennadher et Thom Frühwirth
|
| 11h - 11h30 | - Surcharge et sous-typage dans TCLP |
| Emmanuel Coquery et François Fages
|
| 11h30 - 12h | - Arbre d'itérations chaotique pour décrire la résolution des CSPs |
| Julien Arsouze, Gerard Ferrand et Arnaud Lallouet
|
|
|---|
|
|
|
|
|
|---|
| 14h00 - 14h40 | Papiers courts |
| Président : Patrice Boizumault |
| 14h - 14h20 | - Négation et incertitude dans les bases de données déductives |
| Yann Loyer et Umberto Straccia
|
| 14h20 - 14h40 | - Un algorithme robuste pour la confection d'horaires cycliques |
| Gilbert Laporte et Gilles Pesant
|
|
|---|
|
|
| 15h - 16h | Discussion sur la fusion des JFPLC et JNPC |
|
|
|
|