JFPC

Journées Francophones de Programmation par Contraintes
(Evènement affilié à PFIA 2022)
27 Juin - 29 Juin 2022, Saint-Étienne, France

S'inscrire à PFIA 2022 - Livret du participant

La semaine touche à sa fin. Les organisateurs et volontaires vous remercient pour votre participation, espèrent que vous avez passé une bonne semaine chez nous, et vous souhaitent un bon retour.
A bientôt pour PFIA 2023 à Strasbourg !

Programme JFPC

Programme

20 minutes par présentation : 15 minutes d'exposé et 5 minutes de questions

Lundi 27 juin 2022

Session 1 (9h-10h) : Résolution de CSP

Session 2 (10h30-12h) : Extension du formalisme CSP, contraintes globales

Exposé invité 1 (13h30-14h30)

Session 3 (14h45-16h15) : Apprentissage, fouille de données

Exposé invité 2 (16h45-17h45) (session commune à CNIA)



Mardi 28 juin 2022

Exposé invité 3 (9h-10h)

Session 4 (10h30-12h) : Max-SAT

  • Matthieu Py, Mohamed Sami Cherif and Djamal Habet : Certificats d'optimalité pour Max-SAT.
  • Matthieu Py, Mohamed Sami Cherif and Djamal Habet : Max-réfutations et oracles SAT.
  • Matthieu Py, Mohamed Sami Cherif and Djamal Habet : Explication de clauses et de formules dans Max-SAT.
  • Mohamed Sami Cherif, Djamal Habet and Matthieu Py : De la résolution à la max-résolution.
  • Session 5 (13h30-14h30) : Applications

  • Alexandre Bonlarron, Aurélie Calabrèse, Pierre Kornprobst et Jean-Charles Régin : Génération de texte sous contraintes pour mesurer des performances de lecture : Une nouvelle approche basée sur les diagrammes de décisions multivalué.
  • Thibault Falque, Christophe Lecoutre, Bertrand Mazure et Karim Tabia : Optimisation du parcage des avions à l'aéroport Paris Charles de Gaulle.
  • Vincent Barichard, Corentin Behuet, David Genest, Marc Legeay and David Lesaint : Approche par contraintes pour une classe d'emplois du temps universitaires.
  • Session 6 (14h45-16h15) : Résolution de problèmes

    Assemblée générale JFPC (16h45-18h15)



    Mercredi 29 juin 2022

    Session 7 (9h-10h) : Modélisation

    Débat collectif (10h30-12h)