Programme des JFPLC'2002 - Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes - - Nice - 27 au 29 mai 2002 - 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ï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