JFPLC 2002: Université de Nice Sophia-Antipolis, France

@proceedings{DBLP:conf/jfplc/2003,
  editor    = {Mireille Ducass{\'e}},
  title     = {Journ{\'e}es Francophones de Programmation en Logique avec
               Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003},
  booktitle = {JFPLC},
  publisher = {Hermes/Lavoisier},
  year      = {2003},
  isbn      = {2-7462-0739-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Preface. 9- BibTeX

Papier invité

• Pascal Van Hentenryck: Du filtrage optimal à la stabilité parfaite. 11- BibTeX

Contraintes numériques

• Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou: Raisonnement sur les propriétés de contraintes numériques. 13- BibTeX
• Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi: Résolution de problèmes non linéaires avec continuum de solutions. 27- BibTeX
• Luc Jaulin, Marc Christie, Laurent Granvilliers: Quelques applications de la propagation de contraintes sur les domaines continus en automatique. 43- BibTeX

Logique I

• Pascal Nicolas, Frédéric Saubion, Igor Stéphan: Optimisation par colonies de fourmis pour la programmation logique étendue. 57- BibTeX
• Abdessamad Imine, Yahya Slimani, Sorin Stratulat: Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. 71- BibTeX
• Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel: Non-Termination Inference for Optimal Termination Conditions of Logic Programs. 87- BibTeX
• Samir Ouis, Narendra Jussien, Olivier Lhomme: Explications conviviales pour la programmation par contraintes. 105- BibTeX
• Mireille Ducassé, Ludovic Langevine: Analyse automatisée de traces d'exécution de programmes CLP(FD). 119- BibTeX
• Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier: Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. 135- BibTeX

Applications

• Jean-Charles Régin: Résolution d'un problème de conception de réseau avec Parallel Solver. 151- BibTeX
• Alexander Bockmayr, Arnaud Courtois: Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. 167- BibTeX

CSP

• Jean-Charles Régin, Jean-Francois Puget, Thierry Petit: Representation of soft constraints by hard constraints. 181- BibTeX
• Olivier Lhomme: Amortized Non-Systematic Search Algorithms. 199- BibTeX

Logique II

• Pascal Urso, Emmanuel Kounalis: Généralisations correctes pour l'induction mathématique. 211- BibTeX
• Moussa Demba, Khaled Bsaïes: Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. 227- BibTeX
• Olivier Ponsini: Réécriture de programmes C--en équations logiques. 241- BibTeX

Analyse de programmes

• Slim Abdennadher, Thom W. Frühwirth: Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. 257- BibTeX
• Emmanuel Coquery, François Fages: Surcharge et sous-typage dans TCLP. 273- BibTeX
• Julien Arsouze, Gérard Ferrand, Arnaud Lallouet: Arbre d'itérations chaotiques pour décrire la résolution des CSP. 289- BibTeX