| 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 |