JFPC 2013

Programme version pdf

Vue globale

Mercredi 12 juin 2013 Jeudi 13 juin 2013 Vendredi 14 juin 2013
08:00 08:00-08:45 Accueil
08:45-09:00 Ouverture des journées
09:00 09:00-10:00 Session 1 : Exposé invité JIAF 09:00-10:00 Session 5 : Exposé invité JFPC 09:00-10:00 Session 10 : Exposé invité JFPC
10:00 10:00-10:30 Pause café 10:00-10:30 Pause café 10:00-10:30 Pause café
10:30-12:20 Session 2 : Solveurs et vérification 10:30-11:30 Session 6 : Parallèle 10:30-12:00 Session 11 : Consistances
11:00
11:30-12:40 Session 7 : Recherche locale et hybride
12:00 12:00-13:30 Repas
12:20-14:00 Repas
12:40-14:00 Repas
13:00
13:30-15:10 Session 12 : Préférences
14:00 14:00-16:00 Session 3 : Modélisation et applications 14:00-15:20 Session 8 : Prouveurs SAT
15:00
15:20-15:50 Pause café
15:50-17:00 Session 9 : Complexité
16:00 16:00-16:30 Pause café
16:30-17:30 Session 4 : Recherche arborescente
17:00
17:30-18:30 Assemblée Générale AFPC
17:45-19:00 Visite guidée d'Aix
18:00
19:00 19:00-20:00 Réception 19:00-23:00 Repas de Gala
20:00
21:00
22:00

Programme détaillé

Mercredi 12 juin 2013

08:00-08:45 Accueil - Salle du conseil

08:45-09:00 Ouverture des journées - Amphi Est

09:00-10:00 Session 1 : Exposé invité JIAF - Amphi Est

Les indicateurs bibliométriques permettent-ils d'évaluer la qualité de la recherche ?

Denis Bouyssou

10:00-10:30 Pause café - Hall

10:30-12:20 Session 2 : Solveurs et vérification (présidée par Igor Stephan) - Amphi Ouest

  • Prototyper des moteurs de propagation avec un DSL

    Charles Prud'Homme, Xavier Lorca, Rémi Douence et Narendra Jussien

    Article Transparents
  • Des Propagateurs Indépendants des Solveurs

    Jean-Noël Monette, Pierre Flener et Justin Pearson

    Article Transparents
  • Un solveur de contraintes basé sur les domaines abstraits

    Marie Pelleau, Antoine Miné, Charlotte Truchet et Frédéric Benhamou

    Article Transparents
  • Raffiner l'analyse par interprétation abstraite des programmes à l'aide des techniques de programmation par contraintes

    Olivier Ponsini, Claude Michel et Michel Rueher

    Article Transparents
  • Solveurs CP(FD) vérifiés formellement (papier court)

    Catherine Dubois et Arnaud Gotlieb

    Article Transparents
  • cptest4choco : test et mise-au-point des programmes à contraintes

    Nadjib Lazaar, Arnaud Gotlieb et Yahia Lebbah

    Article Transparents

12:20-14:00 Repas - RU des Fenouillères

14:00-16:00 Session 3 : Modélisation et applications (présidée par Xavier Lorca) - Amphi Ouest

  • Détection des fonctions de rang linéaires à terme

    Anthony Alezan, Roberto Bagnara, Fred Mesnard et Etienne Payet

    Article Transparents
  • Approches d'élicitation basées sur le coefficient de Spearman pour l'optimisation multicritère par ordre lexicographique

    Noureddine Aribi et Yahia Lebbah

    Article Transparents
  • La recherche locale pour la pré-programmation d'environnements urbains durables

    Bruno Belin, Marc Christie et Charlotte Truchet

    Article Transparents
  • Assemblage de vins sous contraintes

    Philippe Vismara, Remi Coletta et Gilles Trombettoni

    Article Transparents
  • La programmation par contraintes pour l'assistance à l'agencement d'environnements virtuels

    Marouene Kefi, Vincent Barichard et Paul Richard

    Article

16:00-16:30 Pause café - Hall

16:30-17:30 Session 4 : Recherche arborescente (présidée par Rémi Coletta) - Amphi Ouest

  • Extraction de régions intérieures pour améliorer le majorant en optimisation globale sous contraintes

    Ignacio Araya, Gilles Trombettoni, Bertrand Neveu et Gilles Chabert

    Article Transparents
  • Un modèle général pour la classification non supervisée sous contraintes d'utilisateur

    Thi-Bich-Hanh Dao, Khanh-Chuong Duong et Christel Vrain

    Article Transparents
  • Raffinement de la décomposition arborescente par fusion de clusters pour guider DGVNS

    Mathieu Fontaine, Samir Loudni et Patrice Boizumault

    Article Transparents

17:30-18:30 Assemblée Générale AFPC - Amphi Ouest

19:00-20:00 Réception - Pavillon Vendôme

Réception au Pavillon Vendôme (32 Rue Célony 13100 Aix-en-Provence, voir la carte dans la rubrique Infos pratiques).

Jeudi 13 juin 2013

09:00-10:00 Session 5 : Exposé invité JFPC (présidée par Djamal Habet) - Amphi Ouest

From CP to CIP: Building Constraint-Based Hybrid Models and Solvers

Stefan Heinz

10:00-10:30 Pause café - Hall

10:30-11:30 Session 6 : Parallèle (présidée par Nicolas Prcovic) - Amphi Ouest

  • Un nouveau cadre diviser pour régner pour SAT distribué

    Gilles Audemard, Benoît Hoessen, Said Jabbour et Cédric Piette

    Article Transparents
  • Une adaptation simple et efficace du modèle MapReduce pour la programmation par contraintes

    Jean-Charles Régin, Mohamed Rezgui et Arnaud Malapert

    Article
  • Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone

    Mohamed Wahbi, Redouane Ezzahir, Christian Bessière et El Houssine Bouyakhf

    Article

11:30-12:40 Session 7 : Recherche locale et hybride (présidée par Jean-Marie Lagniez) - Amphi Ouest

  • Règles d'inférence et recherche locale pour Max-SAT et Max-SAT valué

    André Abramé et Djamal Habet

    Article Transparents
  • Sélection adaptative d'opérateurs en recherche locale et Progressive Party Problem

    Nadarajen Veerapen, Youssef Hamadi et Frédéric Saubion

    Article Transparents
  • DGVNS guidée par les séparateurs

    Samir Loudni, Mathieu Fontaine et Patrice Boizumault

    Article Transparents
  • Exploiter les séparateurs : une approche hybride combinant recherche locale et arborescente (papier court)

    Jean-Philippe Métivier, Mathieu Fontaine et Samir Loudni

    Article Transparents

12:40-14:00 Repas - RU des Fenouillères

14:00-15:20 Session 8 : Prouveurs SAT (présidée par Julien Vion) - Amphi Ouest

  • Stratégies d'élimination des clauses apprises dans les solveurs SAT modernes

    Long Guo, Said Jabbour et Lakhdar Saïs

    Article Transparents
  • Une étude empirique du module d'analyse de conflits dans les solveurs CDCL

    Donia Toumi et Djamal Habet

    Article Transparents
  • Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne

    Daniel Le Berre et Emmanuel Lonca

    Article Transparents
  • Du glucose en goutte à goutte pour les coeurs inconsistants

    Gilles Audemard, Jean Marie Lagniez et Laurent Simon

    Article Transparents

15:20-15:50 Pause café - Hall

15:50-17:00 Session 9 : Complexité (présidée par Nadjib Lazaar) - Amphi Ouest

  • Sur une classe polynomiale hybride pour les CSP d'arité quelconque

    Achref El Mouelhi, Philippe Jégou et Cyril Terrioux

    Article Transparents
  • Compilation de CSPs : carte de complexité des MDDs non-déterministes

    Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau et Cédric Pralet

    Article Transparents
  • Approche unifiée pour la Décomposition et la Résolution de PCSP : étude expérimentale sur FAP

    Zineb Habbas, Sébastien Martin, Lamia Sadeg et Daniel Singer

    Article Transparents
  • Linear Programming, the Complexity of Finite-valued CSPs (papier court)

    Johan Thapper et Stanislav Zivny

    Article Transparents

17:45-19:00 Visite guidée d'Aix

Le point départ de la visite guidée est l'Office du Tourisme d'Aix-en-Provence (300 Avenue Giuseppe Verdi 13100 Aix-en-Provence, voir la carte dans la rubrique Infos pratiques).

19:00-23:00 Repas de Gala - Hôtel Aquabella

Repas de Gala à l'hôtel Aquabella (2 Rue des étuves 13100 Aix-en-Provence, voir la carte dans la rubrique Infos pratiques).

Vendredi 14 juin 2013

09:00-10:00 Session 10 : Exposé invité JFPC (présidée par Charlotte Truchet) - Amphi Ouest

Vers des algorithmes plus autonomes

Frédéric Saubion

10:00-10:30 Pause café - Hall

10:30-12:00 Session 11 : Consistances (présidée par Jean-Noël Monette) - Amphi Ouest

  • Une approche basée sur les contraintes pour résoudre le problème d'arbre recouvrant de coût minimum avec contraintes de degré (papier court)

    Jean-Guillaume Fages, Xavier Lorca et Louis-Martin Rousseau

    Article Transparents
  • Eliminations des solutions symétriques pour l'isomorphisme de sous-graphe (papier court)

    Philippe Vismara

    Article Transparents
  • Un Algorithme Optimal de Filtrage pour Contraintes Table

    Jean-Baptiste Mairy, Pascal Van Hentenryck et Yves Deville

    Article Transparents
  • STR et compression de contraintes tables (papier court)

    Nebras Gharbi, Fred Hemery, Christophe Lecoutre et Olivier Roussel

    Article Transparents
  • Extension des cohérences WCSP aux tuples

    Djamel E Dehani, Christophe Lecoutre et Olivier Roussel

    Article Transparents
  • Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux

    Christophe Lecoutre, Nicolas Paris, Olivier Roussel et Sébastien Tabary

    Article Transparents

12:00-13:30 Repas - RU des Fenouillères

13:30-15:10 Session 12 : Préférences (présidée par Elise Vareilles) - Amphi Ouest

  • Cohérences Locales Paramétrées

    Amine Balafrej, Christian Bessière, Remi Coletta et El Houssine Bouyakhf

    Article
  • Consistance d'arc par MDD-Réduction

    Julien Vion

    Article Transparents
  • Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations

    Hélène Fargier, Nicolas Schmidt et Pierre Marquis

    Article Transparents
  • Cohérence d'arc virtuelle dynamique

    Hiep Nguyen, Thomas Schiex et Christian Bessière

    Article Transparents
  • Compilation de requêtes à préférences en problèmes de contraintes qualitatives

    Jean-François Condotta et Souhila Kaci

    Article

Dates importantes

News

Association Française pour la Programmation par Contraintes GDR I3 - Intelligence Artificielle Fondamentale Institut National de Recherche en Informatique et en Automatique Aix-Marseille Université Fédération de Recherche en Informatique et Interaction d'Aix-Marseille Laboratoire des Sciences de l'Information et des Systèmes Laboratoire d'Informatique Fondamentale de Marseille Conseil Général des Bouches du Rhône Communauté du Pays d'Aix COSYTEC Index Education Prologia