-----------------------------------------------------------------
JFPC 2009
Cinquièmes Journées Francophones de Programmation par Contraintes
http://www.univ-orleans.fr/evenements/jfpc/
Orléans - Université d'Orléans
du 3 au 5 juin 2009
-----------------------------------------------------------------

Inscriptions :
http://www.univ-orleans.fr/evenements/jfpc/inscriptions.htm

Orateurs invités :
    * Laurent Trilling
    * Pascal Van Hentenryck

Articles acceptés :
    * Jorge Maturana, Frederic Lardeux and Frédéric Saubion. Génération et contrôle autonomes d'opérateurs pour les algorithmes évolutionnaires
    * Guillaume Richaud, Lorca Xavier and Narendra Jussien. Des contraintes globales prêtes à  brancher
    * Jean-Philippe Poli, Anthony Larue, David Mercier, Carole Maillard and Jocelyn Guilbert. Génération rapide de scénarios géophysiques par satisfaction de contraintes pour la localisation des séismes
    * Raphael Chenouard, Ricardo Soto and Laurent Granvilliers. Rewriting Constraint Models with Metamodels
    * Haibo Huang, Chu Min LI, Nouredine Ould Mohamedou and Ke Xu. SAT Encodings of Model RB and A New SAT Model
    * Thi-Bich-Hanh Dao. Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues
    * Jean-François Condotta, Souhila Kaci, Pierre Marquis and Nicolas Schwind. Fusion de réseaux de contraintes qualitatives par morceaux
    * Julien Menana and Sophie Demassey. Sequencing and counting with the multicost-regular constraint
    * Djamal Habet, Lionel Paris and Cyril Terrioux. Une approche basée sur la décomposition arborescente pour la résolution d'instances SAT structurées
    * khalil djelloul. Décidabilité de contraintes du premier ordre par contraintes duales
    * Jean-Philippe Métivier, Patrice Boizumault and Samir Loudni. Relaxation de contraintes globales pour la modélisation de problème d'allocation d'infirmières
    * Cédric Pinto and Cyril Terrioux. Une généralisation de l'approche Cyclic-Clustering pour la résolution de CSP structurés
    * Julien VION, Thierry Petit and Narendra Jussien. Intégration des Consistantes fortes dans les Prouveurs de Contraintes
    * Julien VION. Consistance Duale et réseaux non-binaires
    * Wady Naanaa, Maher Helaoui and Bechir Ayeb. Algorithme de décomposition de domaine pour la satisfaction et l'optimisation de contraintes
    * Marti Sanchez, David Allouche, Simon de Givry and Thomas Schiex. Algorithme des Poupées Russes exploitant une décomposition arborescente
    * Aurélie Favier, Simon de Givry and Philippe Jégou. Comptage de solutions en exploitant la structure du graphe de contraintes
    * Madjid KHICHANE, Christine SOLNON and Patrick Albert. An ACO-based Reactive Framework for Ant Colony Optimization: First Experiments on Constraint Satisfaction Problems
    * Christophe JUNKE and Benjamin BLANC. CSP dynamiques pour la génération de tests de systèmes réactifs
    * Lazaar Nadjib, Gotlieb Arnaud and Lebbah Yahia. Vers une Théorie du Test des programmes à contraintes
    * Ignacio Araya, Gilles Trombettoni and Bertrand Neveu. Utilisation de sous-systèmes carrés et denses pour le filtrage de CSP numériques
    * Pierre Schaus, Pascal Van Hentenryck and Jean-Charles REGIN. Scalable Load Balancing in Nurse to Patient Assignment Problems
    * Richard Ostrowski and Lionel Paris. Détection de fonctions booléennes pour la preuve d'inconsistance
    * Christophe Lecoutre and Olivier Roussel. Pivot-based Consistencies
    * François Fages, Thierry Martinez and Cleyton Rodrigues. Modular CHR with ask and tell
    * Jean-Noël Monette, Yves Deville and Pascal Van Hentenryck. Aeon: Synthesizing Scheduling Algorithms from High-Level Models
    * Marco Benedetti, Arnaud Lallouet and Jeremie Vautard. Problèmes d'optimisation avec des contraintes quantifiées
    * Matthieu Petit and Henning Christiansen. Un calcul de Viterbi pour un Modèle de Markov Caché Contraint
    * Philippe Jégou, Samba Ndojh Ndiaye and Cyril Terrioux. Stratégies hybrides pour des décompositions optimales et efficaces
    * Christophe Lecoutre, Sebastien Tabary and Vincent Vidal. Identification et exploitation d'états partiels inconsistants
    * Audemard Gilles, Lagniez Jean-Marie, Mazure Bertrand and Sais Lakhdar. Analyse de conflits dans le cadre de la recherche locale
    * youssef Hamadi, Said Jabbour and Lakhdar Sais. Learning for Dynamic Assignments Reordering
    * Youssef Hamadi, Said Jabbour and Lakhdar Sais. Learning for Dynamic subsumption
    * Igor Stéphan. Sémantique et calcul syntaxique pour les formules booléennes quantifiées
    * Dominique D'Almeida and Lakhdar Saïs. Enhancing Substituability thanks to Singleton Arc Consistency
    * Gilles Audemard, Mouny Samy Modeliar and Laurent Simon. Why Modern SAT Solvers May Have to Climb Cactus Plots
    * Eric Gregoire, Bertrand Mazure and Cédric Piette. Localiser des sources d'incohérence spécifiques sans les calculer toutes
    * Julien Robet, Frederic Lardeux and Frédéric Saubion. Une approche de contrôle autonome pour la recherche locale
    * Mathias Kleiner, Patrick Albert and Jean Bezivin. SBVR-based Parsing of (Controlled) Languages