Programme

Les JFPC 2019 se dérouleront du 12 au 14 juin 2019 à IMT Mines Albi.

mardi
11 juin 2019
mercredi
12 juin 2019
jeudi
13 juin 2019
vendredi
14 juin 2019
08:00  bus depuis Albi centre
 Accueil
 bus depuis Albi centre
 Accueil
 bus depuis Albi centre
 Accueil
08:00
08:30  Accueil Session 7
Stratégies et heuristiques de recherche (1)
08:30
08:45 Session 4
 Prix jeunes chercheurs (1)
08:45
09:00 Session 1
Distribution, décomposition et hybridation
09:00
09:30  Pause café 09:30
10:00  Pause café Session 8
Stratégies et heuristiques de recherche (2)
10:00
10:15  Pause café 10:15
10:30 Session 2
Applications
10:30
10:45 Session 5
Outils, modèles et langages
10:45
11:00 11:00
11:30 1re conférence invitée
« Génération automatique de texte et de musique »
par Jean-Charles Régin
3e conférence invitée
« Renault-Nissan-Mitsubishi : SAT et échantillonnage »
par Jean-Marc Astesana
11:30
12:00  Déjeuner 12:00
12:30  Déjeuner  Panier repas 12:30
13:00 13:00
13:30  bus vers aéroport de Blagnac  13:30
14:00 Session 3
Contraintes, filtrage et propagation
Session 6
 Prix jeunes chercheurs (2)
14:00
14:30 14:30
15:00  Pause café
 bus vers Albi centre
15:00
15:30  Pause café 15:30
16:00 2e conférence invitée
“eXplainable AI: An Emerging Application of Constraint Programming”
par Joao Marques-Silva
16:00
16:30 16:30
17:00 Assemblée générale
AFPC (**)
17:00
17:30 17:30
18:00  bus vers Labastides 18:00
18:30 CA AFPC
 Dîner (*)
18:30
Soirée Soirée
(*) uniquement les membres du conseil d'administration de l'AFPC.
(**) uniquement les adhérents de l'AFPC.

Session 1  Distribution, décomposition et hybridation

de 09:00 à 10:00 mercredi 12 juin 2019, animée par Xavier Lorca

« Clustering descriptif : formulations en PLNE et en PPC et applications »
par Thi-Bich-Hanh Dao, Chia-Tung Kuo, S. S. Ravi, Christel Vrain, Ian Davidson.

« Décompositions structurelles et sémantiques, rapport préliminaire »
par Philippe Jégou, Cyril Terrioux.

« Préserver la confidentialité pour l’algorithme Generalized Distributed Breakout »
par Julien Vion, René Mandiau, Sylvain Piechowiak, Marius Silaghi.

   voir programme   

Session 2  Applications

de 10:30 à 12:00 mercredi 12 juin 2019, animée par Élise Vareilles

« Impact de la granularité spatio-temporelle des données sur l’optimisation des tournées de livraison en ville »
par Omar Rifki, Nicolas Chiabaut, Christine Solnon.

« Unifier les stratégies de sélection de réserve avec la programmation par contraintes et les graphes »
par Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca.

« Une approche de Programmation par Contraintes pour résoudre le Problème de Transport de Patients »
par Charles Thomas, Quentin Cappart, Pierre Schaus, Louis-Martin Rousseau.

« Octogones entiers pour le problème RCPSP »
par Pierre Talbot, David Cachera, Éric Monfroy, Charlotte Truchet.

   voir programme   

Session 3  Contraintes, filtrage et propagation

de 14:00 à 15:00 mercredi 12 juin 2019, animée par Christophe Lecoutre

« De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises »
par Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon.

« Contraintes de cardinalité cachées dans les preuves d’insatisfaisabilité »
par Valentin Montmirail, Marie Pelleau, Jean-Charles Régin, Laurent Simon.

« Utilisation d’algorithmes d’approximation en programmation par contraintes »
par Arthur Godet, Xavier Lorca, Gilles Simonin.

   voir programme   

Visite d'Albi

de 16:00 à 18:00 le mercredi 12 juin 2019

Visite pédestre en petits groupes : la cathédrale Sainte-Cécile puis la Cité Épiscopale. Chaque groupe sera accompagné d'un guide pour vous aider à mieux apprécier ce patrimoine classé UNESCO.

Point de départ à 16:00: devant l'office de tourisme d'Albi (42, rue Mariès), à l'angle de la rue Mariès et de la Place Sainte-Cécile.

   voir programme   

Réception par la Mairie

de 18:30 à 19:20 le mercredi 12 juin 2019

Réception par la Mairie dans les locaux du Musée Toulouse-Lautrec (Place Sainte-Cécile).

   voir programme   

Soirée Bière

à partir de 19:30 mercredi 12 juin 2019

Soirée conviviale au « Chien Rouge » (49 Lices Georges Pompidou) : deux boissons par personne et tapas (des coupons fournis lors de l'accueil sont indispensables pour profiter de la soirée).

   voir programme   

Session 4   Prix jeunes chercheurs (1)

de 08:45 à 10:15 jeudi 13 juin 2019 animée par Marie Pelleau

Les articles de cette session concourent pour les prix « jeunes chercheurs ».

« Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives »
par Gaël Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis.

« Heuristiques exploitant la relaxation linéaire pour l’optimisation dans les réseaux de fonction de coût »
par Fulya Trösser, Simon de Givry, George Katsirelos.

« Introduction de contraintes structurelles pour la résolution du problème du voyageur de commerce »
par Nicolas Isoart, Jean-Charles Régin.

« Contrainte globale abstractXOR : résultats de complexité et algorithmes de propagation »
par Loïc Rouquette, Christine Solnon.

   voir programme   

Session 5  Outils, modèles et langages

de 10:30 à 11:30 jeudi 13 juin 2019, animée par Gilles Audemard

« PyCSP3 : modéliser des problèmes combinatoires sous contraintes en Python »
par Christophe Lecoutre, Nicolas Szczepanski.

« Transformation de modèles et programmation par contraintes avec ATLC »
par Théo Le Calvar, Fabien Chheln Frédéric Jouault, Frédéric Saubion.

   voir programme   

1re conférence invitée
« Génération automatique de texte et de musique »
par Jean-Charles Régin

de 11:30 à 12:30 jeudi 13 juin 2019

Dans cet exposé nous présenterons des résultats récents sur la génération automatique de texte et de musique. Nous commencerons par expliquer quelques mécanismes de base en IA pour engendrer des textes/musique dans la style d'un auteur, puis nous montrerons comment le développement de structures de données envisageables grâce à l'augmentation de la mémoire disponible, comme les Multi-Valued Decision Diagram, permettent de proposer des solutions simples à des problèmes complexes. Nous montrerons clairement l’intérêt de la programmation par contraintes dans cette approche.

Jean-Charles Régin

Jean-Charles Régin est professeur à l'université de Côte d'Azur. Il a soutenu sa thèse en Intelligence Artificielle en 1995 à l'université de Montpellier. Immédiatement après il a été recruté par la société ILOG où il était un des directeurs de la R&D. En 2005 il a passé une année sabbatique à Cornell University (USA). En 2008, il a rejoint l'Université comme Professeur. Il a publié de nombreux articles dans les conférences majeures d'IA : IJCAI, AAAI, ECAI ainsi que dans les journaux Artificial Intelligence et JAIR. Il a reçu en 2013 le AAAI classic paper award et l'ACP Research Excellence Award, récompense majeure de son domaine.

   voir programme   

Session 6   Prix jeunes chercheurs (2)

de 14:00 à 15:30 jeudi 13 juin 2019, animée par Marie Pelleau

Les articles de cette session concourent pour les prix « jeunes chercheurs ».

« Compact-Diagram Propagateur efficace pour la contrainte (s)MDD »
par Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus.

« Extension de Compact-Diagram aux smart MVD »
par Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus.

« Gestion robuste des opérations sur Mars »
par Michael Saint-Guillain.

« Testé comme jamais... »
par Xavier Gillard, Pierre Schaus.

   voir programme   

2e conférence invitée
“eXplainable AI: An Emerging Application of Constraint Programming”
par Joao Marques-Silva

de 16:00 à 17:00 jeudi 13 juin 2019

The practical successes of Machine Learning (ML) in different settings motivates the ability of computing small explanations for predictions made. Small explanations are generally accepted as easier for human decision makers to understand. Existing work on computing explanations is based on heuristic approaches, providing no guarantees of quality, in terms of how close such solutions are from cardinality- or subset-minimal explanations. This talk describes a novel constraint-agnostic approach for computing explanations for any Machine Learning (ML) model. The proposed solution exploits abductive reasoning, and imposes the requirement that the ML model be represented as sets of constraints using some target constraint reasoning system, for which the decision problem can be answered with some oracle. The talk also overviews recent work on exploiting constraint-based solutions for assessing the quality of heuristic explanation approaches.

Joao Marques-Silva

Joao Marques-Silva is Professor of Informatics, Faculty of Science, University of Lisbon (FCUL). Before joining FCUL, he was affiliated with Instituto Superior Tecnico, Portugal; University College Dublin, Ireland; and University of Southampton, United Kingdom. Dr. Marques-Silva is a Fellow of the IEEE and was a recipient of the 2009 CAV Award for fundamental contributions to the development of high-performance Boolean satisfiability solvers. Dr. Marques-Silva's research interests include computational logic, automated reasoning, knowledge representation and reasoning, machine learning and their applications in data science, software engineering and operations research.

   voir programme   

Soirée de Gala

à partir de 19:00 le jeudi 13 juin 2019
(départ en bus depuis IMT Mines Albi à 18:15 puis passage au centre d'Albi 15 minutes plus tard avant de rejoindre le site du Gala)

Soirée aux « Caves de la Bastide de Lévis » : dégustation de vins locaux suivi d'un repas servi à table.

   voir programme   

Session 7  Stratégies et heuristiques de recherche (1)

de 08:30 à 09:30 vendredi 14 juin 2019, animée par Charles Prud’homme

« Estimer le nombre de solutions des contraintes de cardinalité grâce leur décomposition range et roots »
par Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet.

« Qualité et diversité garanties dans les réseaux de fonctions de coût »
par M. Ruffini, J. Vucinic, S. de Givry, G. Katsirelos, S. Barbe, T. Schiex.

« Une heuristique basée sur l’historique des conflits pour les problèmes de satisfaction de contraintes »
par Djamal Habet, Cyril Terrioux.

   voir programme   

Session 8  Stratégies et heuristiques de recherche (2)

de 10:00 à 11:30 vendredi 14 juin 2019, animé epar Pierre Schaus

« Une autre règle de séparation pour des codages de CSP vers SAT »
par Richard Ostrowski, Lionel Paris, Adrien Varet.

« Sur la pertinence des décompositions arborescentes optimales pour la résolution de CSP »
par Philippe Jégou, Hélène Kanso, Cyril Terrioux.

« Heuristiques de recherche : un bandit pour les gouverner toutes »
par Hugues Wattez, Frédéric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary.

« Sur l’UP-résilience des k-UCSs binaires »
par Mohamed Sami Cherif, Djamal Habet.

   voir programme   

3e conférence invitée
« Renault-Nissan-Mitsubishi : SAT et échantillonnage »
par Jean-Marc Astesana

de 11:30 à 12:30 vendredi 14 juin 2019

La gamme de véhicules vendables par l’alliance Renault-Nissan-Mitsubishi n’est pas énumérable. Elle est donc représentée en intention et de nombreux problèmes (configuration, contrôle de cohérence documentaire, etc.) se ramènent alors au problème SAT.

Certains problèmes liés à l’activité prévisionnelle nécessitent la création d’ensembles de véhicules respectant les contraintes de la gamme et les taux d’équipements fixés par les prévisionnistes. Cette génération nécessite une approche plus originale.

La présentation abordera les problèmes de type SAT ainsi que les techniques utilisées pour la génération d’échantillons prévisionnels, avec la mise en lumière de leurs forces et leurs faiblesses.

Jean-Marc Astesana

Jean-Marc Astesana participe à la création d’un service « Intelligence Artificielle » chez Renault en 1994 dont la mission est de résoudre les problèmes autour de la gamme de véhicules en utilisant la compilation de connaissances. Il prend en 2006 la responsabilité d’une entité regroupant également les activités de recherche opérationnelle et de traitement du langage naturel. Il abandonne ses fonctions d’encadrement en 2018 pour redevenir « Lead developer » de cette entité.

   voir programme   

Bus gratuit entre le centre d'Albi et l'IMT Mines Albi

Tous les matins et tous les soirs, nous proposons aux participants aux JFPC 2019 un bus gratuit reliant le centre d'Albi (à côté de la Place Jean Jaurès, sans doute au bout du Bd Édouard Andrieu) à l'IMT Mines Albi.

Pour la soirée de Gala du jeudi 13 juin 2019, le bus partira de l'IMT Mines Albi (à 18:15, à la fin de l'assemblée générale de l'AFPC), passera par le centre d'Albi (15 minutes plus tard environ) avant de rejoindre le site du Gala.

   voir programme   

Bus gratuit vers l'aéroport Toulouse-Blagnac pour les participants aux JFPC 2019

Le vendredi 14 juin 2019, nous proposons aux participants un bus gratuit depuis l'IMT Mines Albi vers l'Aéroport de Toulouse-Blagnac. Le départ aura lieu d'Albi à 13:30 (après le panier-repas du midi) avec une arrivée prévue à l'aéroport de Toulouse-Blagnac avant 14:45.

   voir programme   

 Prix « jeunes chercheurs »

Durant cette quinzième édition des JFPC, la journée du jeudi 13 juin sera consacrée, pour deux sessions, aux présentations faites par de « jeunes chercheurs ».

À l'issue, de la journée deux prix seront remis par l'organisation afin de récompenser les deux présentations qui auront été jugées les plus pertinentes par les participants de la conférence. Ces deux prix, de 400 € chacun, permettront aux heureux lauréats de se déplacer, avant les prochaines JFPC 2020, sur un évènement scientifique de leur choix (conférence ou école d'été).

   voir programme   

Soutiens