Journées Francophones de Programation par contraintes JPFC 2009 JPFC 2009



Contact | Crédits | Mentions légales
accueil présentation soumissions programme programme inscriptions infos pratiques
Présentation

Comité de programme

Planning de la conférence

Actes

 
 
 

Comité de programme

Président du comité de programme : Yves Deville, UCLouvain, Belgique

Membres :

  • Philippe Baptiste, LIX Palaiseau
  • Mustapha Belaissaoui, Univ. Hassan I Maroc
  • Nicolas Beldiceanu, EMN/LINA Nantes
  • Christian Bessiere, CNRS/LIRMM Univ. Montpellier
  • Hadrien Cambazard, 4C Cork,Ireland
  • Philippe Chatalic, LRI Orsay
  • Thi Bich Hanh Dao, LIFO Orleans
  • Simon de Givry, INRA Toulouse
  • Sophie Demassey, EMN/LINA Nantes
  • François Fages, INRIA Rocquencourt
  • Pierre Flener, IT Uppsala Univ., Suède
  • Alexandre Goldsztejn, CNRS/LINA Nantes
  • Arnaud Gotlieb, IRISA Rennes
  • Youssef Hamadi, Microsoft Research Cambridge Royaumes Unis
  • Mhand Hifi, MIS Amiens
  • Daniel Le Berre, CRIL Université d'Artois
  • Christophe Lecoutre, CRIL Université d'Artois
  • Laurent Michel, Univ. Connect. USA
  • Wadi Naanaa, Univ. Monastir Tunisie
  • Lionel Paris, LSIS Marseille
  • Laurent Perron, Google Paris
  • Cédric Pralet, Onera Toulouse
  • Philippe Refalo, ILOG Sophia-Antipolis
  • Gilles Pesant, Polytechnique Montréal
  • Michel Rueher, I3S/CNRS Université de Nice Sophia Antipolis
  • Frédéric Saubion, LERIA Angers
  • Pierre Schaus, DYNADEC Europe, Belgique
  • Christine Solnon, LIRIS Lyon
  • Cyril Terrioux, LSIS Marseille
  • Alexandre Tessier, LIFO Orléans
  • Gilles Trombettoni, INRIA Sophia
  • Charlotte Truchet, LINA Université de Nantes
  • Michel Vasquez, EMA Nîmes
  • Stéphane Zampelli, EMN/LINA Nantes
  • Bruno Zanuttini, GREYC Univ. de Caen Basse-Normandie

Planning de la conférence

mercredi 3 juin 2009
08h00-09h30 accueil des participants / ouverture des journées
09h30-10h30 orateur invité : Laurent Trilling
Chair : François Fages
  • Laurent Trilling. Approche déclarative de la modélisation de réseaux de régulation de gènes discrets : expériences et perspectives
10h30-11h00 pause
11h00-13h00 session 1 : Recherche (1)
Chair : Stéphane Zampelli
  • Cédric Pinto and Cyril Terrioux. Une généralisation de l'approche Cyclic-Clustering pour la résolution de CSP structurés
  • 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
  • Philippe Jégou, Samba Ndojh Ndiaye and Cyril Terrioux. Stratégies hybrides pour des décompositions optimales et efficaces
session 2 : Modélisation et langages
Chair : Sophie Demmassey
  • Jean-Noël Monette, Yves Deville and Pascal Van Hentenryck. Aeon: Synthèse d'algorithmes d'ordonnancement à partir de modèles de haut niveau
  • Raphael Chenouard, Ricardo Soto and Laurent Granvilliers. Reformulation de problèmes de satisfaction de contraintes sur métamodèles
  • Lazaar Nadjib, Gotlieb Arnaud and Lebbah Yahia. Vers une Théorie du Test des programmes à contraintes
  • François Fages, Thierry Martinez and Cleyton Rodrigues. CHR modulaire avec ask et tell
13h00-14h30 repas
14h30-16h00 session 3 : SAT (1)
Chair : Charlotte Truchet
  • 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
  • Eric Gregoire, Bertrand Mazure and Cédric Piette. Localiser des sources d'incohérence spécifiques sans les calculer toutes
  • Youssef Hamadi, Said Jabbour and Lakhdar Sais. Subsumption dirigée par l'analyse de conflits
session 4 : Contraintes globales et qualitatives
Chair : Pierre Schaus
  • Guillaume Richaud, Lorca Xavier and Narendra Jussien. Des contraintes globales prêtes à brancher
  • Julien Menana and Sophie Demassey. Séquencer et compter avec la contrainte multicost-regular
  • Jean-François Condotta, Souhila Kaci, Pierre Marquis and Nicolas Schwind. Fusion de réseaux de contraintes qualitatives par morceaux
16h00-16h30 pause
16h30- assemblée générale de l'AFPC et ateliers
jeudi 4 juin 2009
09h00-10h00 orateur invité : Pascal Van Hentenryck
Chair : Narendra Jussien
  • Pascal Van Hentenryck. Online Stochastic Combinatorial Optimization : Progress and Opportunities
10h00-10h30 pause
10h30-12h30 session 5 : Applications
Chair : Simon Degivry
  • 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
  • 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
  • Pierre Schaus, Pascal Van Hentenryck and Jean-Charles REGIN. Problème d'équilibre des charges de travail dans l'affectation de patients aux infirmières
  • Mathias Kleiner, Patrick Albert and Jean Bezivin. Combiner contraintes et modèles pour le traitement de langage contrôlé
session 6 : Recherche locale
Chair : Lionel Paris
  • Jorge Maturana, Frederic Lardeux and Frédéric Saubion. Génération et contrôle autonomes d'opérateurs pour les algorithmes évolutionnaires
  • Madjid KHICHANE, Christine SOLNON and Patrick Albert. Un modèle réactif pour l'optimisation par colonies de fourmis : application à la satisfaction de contraintes
  • Julien Robet, Frederic Lardeux and Frédéric Saubion. Une approche de contrôle autonome pour la recherche locale
  • Audemard Gilles, Lagniez Jean-Marie, Mazure Bertrand and Sais Lakhdar. Analyse de conflits dans le cadre de la recherche locale
12h30-14h00 repas
14h00-14h30 photo de groupe
14h30-18h00 demi-journée industrielle
Organisateur : Willy Lesaint
  • stands : Ilog, Cofiade, Choco, Bouygues, etc.
14h30-16h00 présentations/démos
Chair : Matthieu Lopez
  • Dynadec, Pierre Schaus, Comet: une plate-forme hybride pour l'optimisation
  • QeCode, Jérémie Vautard, titre à venir
  • Cosytec, Idir Gouachi, Planification des évacuations du combustible nucléaire : Un exemple d'application opérationnelle en CHIP
  • KLSOptim, Abder Aggoun, titre à venir
16h00-16h30 pause
16h30-18h00 tutoriel 1
  • Dynadec, Pierre Schaus, Comet: une plate-forme hybride pour l'optimisation
tutoriel 2
  • Ilog, Didier Vidal, Découverte de IBM ILOG CP Optimizer
20h00- banquet
vendredi 5 juin 2009
09h00-10h30 session 7 : SAT (2)
Chair : Frédéric Saubion
  • Haibo Huang, Chu Min LI, Nouredine Ould Mohamedou and Ke Xu. RB-SAT: Un nouveau modèle SAT basé sur les codages du modèle RB
  • Richard Ostrowski and Lionel Paris. Détection de fonctions booléennes pour la preuve d'inconsistance
  • Gilles Audemard, Mouny Samy Modeliar and Laurent Simon. Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ?
10h30-11h00 pause
11h00-12h30 session 8 : Contraintes quantifiées
Chair : Christiphe Lecoutre
  • khalil djelloul. Décidabilité de contraintes du premier ordre par contraintes duales
  • Marco Benedetti, Arnaud Lallouet and Jeremie Vautard. Problèmes d'optimisation avec des contraintes quantifiées
  • Igor Stéphan. Sémantique et calcul syntaxique pour les formules booléennes quantifiées
session 9 : Apprentissage et CSP dynamique
Chair : Christine Solnon
  • Matthieu Petit and Henning Christiansen. Un calcul de Viterbi pour un Modèle de Markov Caché Contraint
  • youssef Hamadi, Said Jabbour and Lakhdar Sais. Réordonnancement dynamique basé sur l'apprentissage
  • Christophe JUNKE and Benjamin BLANC. CSP dynamiques pour la génération de tests de systèmes réactifs
12h30-14h30 repas
14h30-16h30 session 11 : Recherche (2)
Chair : Thi Bich Hanh Dao
  • Christophe Lecoutre and Olivier Roussel. Cohérences basées sur les valeurs en échec
  • Christophe Lecoutre, Sebastien Tabary and Vincent Vidal. Identification et exploitation d'états partiels inconsistants
  • Wady Naanaa, Maher Helaoui and Bechir Ayeb. Algorithme de décomposition de domaine pour la satisfaction et l'optimisation de contraintes
  • Dominique D'Almeida and Lakhdar Saïs. Recherche de la substituabilité par l'arc-cohérence de singleton
session 10 : Consistence et décision
Chair : Bertrand Neveu
  • 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
  • Ignacio Araya, Gilles Trombettoni and Bertrand Neveu. Utilisation de sous-systèmes carrés et denses pour le filtrage de CSP numériques
  • Thi-Bich-Hanh Dao. Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues
16h30-17h00 pause
17h00- bilan de la conférence / clôture des journées

Actes

Actes des Cinquièmes Journées Francophones de Programmation par Contraintes
Orléans 3-5 juin 2009
Éditeur : Yves Deville

 

 


Université d'Orléans - 2008 | 2009
 
Accueil présentation soumissions inscriptions Infos pratiques