Programme détaillé

La conférence se déroulera dans le bâtiment des auditoires Ste-Barbe (auditoire BARB94).

Pour plus d'information sur les différents lieux, voir le plan sur la page des informations pratiques.

  • 17 mai 2026
    • 19:00-21:00 : Sport (Badminton, Football en salle, Basket) (lieu : centre sportif du Blocry)
  • 18 mai/May 2026 (Day 1): Journée Internationale/International Day!

    • Notice: Given our geographic proximity, and to make this first edition of the JFPC out of France truly international, researchers from KULeuven, TU Delft and Université du Luxembourg were invited to participate to this day and network with the French CP community.

    This day will thus be in English

    • 8:00-8:45 : Accueil/Welcome
    • 8:45-8:55 : Ouverture/Opening
    • 8:55-9:00 : Un mot de notre premier sponsor Hexaly/A word from our first sponsor Hexaly
    • 9:00-10:00 : Conferencier Invité/Invited Talk
      • Relaxation et Banditisme en Recherche à Large Voisinage/Relaxation and Banditry in Large Neighbourhood Search, Pierre Flener, Pierre Flener
    • 10:00-10:30 : Pause café/Coffee break
    • 10:30-12:00 : Présentations/Presentations
      • 10:30-11:00 : Aperiodic Tiling and Rhythmic Canons: A CP Journey, Guillaume Derval and Christophe Lecoutre
      • 11:00-11:15 : The ERC CHAT-Opt project: Towards Conversational Human-Aware Technology for Optimisation, Tias Guns (International talk from KU Leuven)
      • 11:15-11:45 : TableBay : Une application de construction d'emplois du temps utilisant la PPC/TableBay: An application to construct timetables using CP, Romain Wallon
      • 11:45-12:00 : Domain-Independent Dynamic Programming with Constraint Propagation, Imko Marijnissen, Chris Beck, Ryo Kuroiwa, and Emir Demirović (International talk from TU Delft)
    • 12:00-14:00 : Pause midi (lieu : Restaurant Galilée)/Lunch Break (place : Restaurant Galilée)
    • 14:00-16:00 : Présentations
      • 14:00-14:30 : Au-delà de la PLNE : Hexaly, solveur d'optimisation hybride/Beyond MILP: Hexaly, hybrid optimization solver, Vianney Coppé from Hexaly our first sponsor
      • 14:30-14:45 : Constraint Model for the Satellite Image Mosaic Selection Problem, Manuel Combarro Simón, Pierre Talbot, Grégoire Danoy, Jedrzej Musial, Mohammed Alswaitti, Pascal Bouvry (International talk from Université du Luxembourg)
      • 14:45-15:00 : Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits, Lucile Dierckx, Alexandre Dubray, Siegfried Nijssen (International talk from KU Leuven)
      • 15:00-15:30 : L'acquisition de contraintes à l'épreuve de la pratique : une méthode d'apprentissage correcte à chaque instant, Aicha Boukhari, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar and Grégoire Menguy
      • 15:30-15:45 : Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities, Thomas Sergeys, Ignace Bleukx, Tias Guns (International talk from KU Leuven)
      • 15:45-16:00 : Solver-Free Decision-Focused Learning for Linear Optimization Senne Berden, Ali Irfan Mahmutogullari, Dimos Tsouros, Tias Guns (International talk from KU Leuven)
    • 16:00-16:30 : Pause café/Coffee break
    • 16:30-18:00 : Présentations
      • 16:30-16:45 : Table Constraints for Integer Programming, Hendrik Bierlee, Wout Piessens, Tias Guns, Peter J. Stuckey (International talk from KU Leuven)
      • 16:45-17:00 : A GPU-based Constraint Programming Solver, Pierre Talbot (International talk from Université du Luxembourg)
      • 17:00-17:30 : Un cadre pour la résolution de problèmes hybrides ensemblistes-numériques, Daniel Crowley, Daniel Le Berre, Olivier Roussel and Yakoub Salhi
      • 17:30-17:45 : From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming, Imko Marijnissen, Maarten Flippo, Emir Demirović (International talk from TU Delft)
      • 17:45-18:00 : Preference Elicitation for Step-Wise Explanations in Logic Puzzle Marco Foschini , Marianne Defresne , Emilio Gamba , Bart Bogaerts, Tias Guns (International talk from KU Leuven)
    • 19:00 18:00 : Dégustation de bières et réception d'ouverture (lieu : dans le hall des auditoires Ste-Barbe)/Beers tasting and opening reception (place : in the hall of the Ste-Barbe auditorium)
  • 19 mai 2026 (Jour 2)
    • 8:00-9:00 : Accueil
    • 9:00-10:00 : Conferencier Invité
      • Solveurs mathématiques pour les problèmes d'ordonnancement (une vie existe au-delà de la PPC et de la PLNE), Philippe Laborie
    • 10:00-10:30 : Pause café
    • 10:30-12:00 : Présentations
      • 10:30-11:00 : Une approche PPC pour le problème d'équilibrage de ligne sous contraintes de ressources, effet d'apprentissage et périodes d'ajustement fixes, Duc Anh Le, Stephanie Roussel and Christophe Lecoutre
      • 11:00-11:30 : Amélioration du vérificateur par raisonnement énergétique pour la contrainte cumulative avec la structure de données Profil, Rosaly Zoller Bodo Ngono, Yves Pascal Ndjopnang Wantiep and Roger Kameugne
      • 11:30-12:00 : Les problèmes d’ordonnancement avec recettes, inventaires et séries avec OptalCP, Diego Olivier Fernandez Pons
    • 12:00-14:00 : Pause midi (lieu : Restaurant Galilée)
    • 14:00-16:00 : Présentations
      • 14:00-14:30 : Calcul renforcé des bornes inférieures dans les solveurs MaxSAT de type séparation et évaluation, Jialu Zhang, Chu-Min Li, Sami Cherif and Shuolin Li
      • 14:30-15:00 : Sur le calcul des sous-arbres colorés maximaux, Shuolin Li, Sami Cherif, Chu-Min Li, Ahlam Mentag, Rebecca Dauwe and Jialu Zhang
      • 15:00-15:30 : Combiner ensembles minimaux insatisfiables et degrés de relaxation pour le calcul d'explications, Damien Piot, Emmanuel Hébrard and Marie-José Huguet
      • 15:30-16:00 : Sur l’autostabilisation de la circulation de jeton asynchrone de Dijkstra, Asma Khoualdia, Sami Cherif, Stéphane Devismes and Léo Robert
    • 16:00-16:30 : Pause café
    • 16:30-17:00 : Présentation
      • 16:30-17:00 : Un nouveau modèle de Programmation par Contraintes pour la Multiplication par Constantes Multiples, Théo Cantaloube, Xiao Peng, Christine Solnon and Anastasia Volkova
    • 17:00-18:00 : Assemblée générale de l'AFPC
    • 19:00 : Banquet (lieu : à la Louvain House)
  • 20 mai 2026 (Jour 3)
    • 8:00-9:00 : Accueil
    • 9:00-10:00 : Présentations
      • 9:00-9:30 : Compression des instances cryptographiques au format XNF, Anthony Blomme, Sami Cherif, Said Jabbour and Lakhdar Sais
      • 9:30-10:00 : Bandits manchots sensibles à la dynamique des redémarrages pour SAT, Jinghu Liang, Sami Cherif and Chu-Min Li
    • 10:00-10:30 : Pause café
    • 10:30-12:00 : Présentations
      • 10:30-11:00 : PyCSP3-Scheduling : une extension ordonnancement pour PyCSP3, Sohaib Afifi
      • 11:00-11:30 : Pyagroplan : un module python basé sur la programmation par contraintes pour l’enseignement et la diffusion d’un outil d’aide à la planification agroécologique de cultures, Philippe Vismara, Margot Challand, Dimitri Justeau-Allaire, Titouan Lorieul and Stephane De Tourdonnet
      • 11:30-12:00 : Vers un outil d'aide à la décision pour la gestion des plannings de soutenances des étudiants en stage et alternance, Matthieu Py
    • 12:00-14:00 : Pause midi (lieu : Restaurant Galilée)
    • 14:00-16:00 : Présentations
      • 14:00-14:30 : L'herbe est-elle plus verte dans le jardin du voisin ?, Christophe Lecoutre
      • 14:30-15:00 : Configuration multi-niveau de flottes de robots hétérogènes ou comment utiliser la PPC pour des missions Search and Rescue, Lucas Ligny, Elise Vareilles, Stephanie Roussel and Gauthier Picard
      • 15:00-15:30 : Modèle DDO pour les problèmes d'ordonnancement à une machine avec dates de disponibilité et des contraintes d'inventaire, Emma Legrand, Roger Kameugne, Pierre Schaus, Quentin Meurisse and Renaud De Landtsheer
      • 15:30-16:00 : L'élimination de colonnes appliquée aux problèmes d'ordonnancement, Vianney Coppé
    • 16:00-16:30 : Pause café
    • 16:30-18:00 : Présentations
      • 16:30-17:00 : Vers la cohérence de borne pour la contrainte de non-chevauchement à l’aide des diagrammes de décision, Amaury Guichard, Laurent Michel, Hélène Verhaeghe and Pierre Schaus
      • 17:00-17:30 : Stratégie de fusion par regroupement pour le calcul de bornes par diagrammes de décision relaxés et restreints : quand cela fonctionne-t-il et pourquoi ?, Alice Burlats, Roger Kameugne, Cristel Pelsser and Pierre Schaus
      • 17:30-18:00 : Filtrage de la contrainte de distance pour les variables séquences, Margaux Schmied, Augustin Delecluse, Jean-Charles Régin and Pierre Schaus



Conférenciers Invités

Pierre Flener

Pierre Flener

Titre:

Relaxation et Banditisme en Recherche à Large Voisinage

Résumé:

Inspirés par les concepts de recherche locale sous contraintes, nous présentons une nouvelle méthode pour relaxer automatiquement un modèle de haut niveau donné en un modèle d'optimisation mieux adapté à la recherche à large voisinage (LNS). En exploitant le partage de variables et la sémantique des contraintes d'un modèle, notre méthode (1) identifie les contraintes facilement satisfaites simultanément et pouvant ainsi contraindre le voisinage, et (2) relaxe les contraintes restantes. En effet de bord, elle permet la résolution LNS d'un problème de satisfaction de contraintes, en le transformant en un problème d'optimisation, et la résolution plus rapide d'un problème d'optimisation sous contraintes difficile à satisfaire, en trouvant plus rapidement une solution initiale. Cette méthode est compatible avec tout solveur LNS basé sur la programmation par contraintes. Nous avons testé plusieurs tels solveurs, ainsi qu'un bandit manchot pour sélectionner le solveur le plus approprié. Les résultats montrent que cette approche est compétitive sur de nombreux problèmes.

Title:

Relaxation and Banditry in Large Neighbourhood Search

Summary:

Inspired by concepts of constraint-based local search, I present a novel scheme for automatically relaxing a given high-level model into an optimisation model that is better suited for large neighbourhood search (LNS). By exploiting the variable sharing and semantics of the constraints in a model, our scheme (1) identifies constraints that can easily be satisfied simultaneously and can thus constrain the neighbourhood, and (2) relaxes the remaining constraints. As a side effect, our scheme enables the LNS solving of a constraint satisfaction problem, by transforming it into an optimisation problem, and the faster solving of a difficult-to-satisfy constrained optimisation problem, by finding the initial incumbent faster. This scheme can be used with any CP-based LNS solver. We tested a portfolio of CP-based LNS variants running in parallel, with a multi-armed bandit to select which LNS variant to run. Our results show that this approach is very competitive.

Philippe Laborie

Philippe Laborie

Titre:

Solveurs mathématiques pour les problèmes d'ordonnancement (une vie existe au-delà de la PPC et de la PLNE)

Résumé:

Ces dernières années ont vu le développement de solveurs mathématiques utilisant des concepts de modélisation plus riches (intervalles, ensembles, etc.) que ceux rencontrés traditionnellement en PLNE ou même en PPC, notamment pour les problèmes d'ordonnancement. Ces solveurs sont aujourd'hui largement utilisés dans l'industrie, ont des performances souvent comparables aux meilleurs algorithmes dédiés, permettent des modélisations compactes, passent à l'échelle (taille du problème, complexité) et sont en constante amélioration. Nous présenterons leurs principales caractéristiques en les illustrant, entre autres, avec Hexaly Optimizer.