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
|