https://www.afpc-asso.org/Association Française pour la Programmation par Contraintes2024-01-23T15:32:34+01:00L'Association Française de Programmation par ContraintesCA de l'AFPCJekyllhttps://www.afpc-asso.org/news/r%C3%A9union/ca-afpc-2023Réunion du CA de l'AFPC en marge de la PFIA2023-07-02T00:00:00+02:00AFPCLe premier CA en présentiel depuis la fin de la pandémie !
<p><img src="https://www.afpc-asso.org/images/img-multisize/medium/ca-strasbourg-2023.jpeg" alt="" /></p>
2023-07-02T00:00:00+02:00https://www.afpc-asso.org/news/conferences/jfpc23-CFPJFPC 2023, c'est à Strasbourg !2023-01-27T00:00:00+01:00AFPC<p>Comme l’année dernière (en 2022), les JFPC rejoignent la la Plate-Forme de conférences en Intelligence Artificielle organisé par l’AFIA. Celle-ci aura lieue à Strasbourg du 3 au 8 Juillet 2023. Les JFPC auront lieu les 3-4-5 juillet 2023. <a href="https://pfia23.icube.unistra.fr/conferences/jfpc/index.html">Le site web des JFPC c’est par ici pour plus de détails !</a></p>
<h1 id="organisation-des-jfpc-2023">Organisation des JFPC 2023</h1>
<p>La présidente du comité de programme est <strong>Élise Vareilles</strong> (ISAE-SUPAERO - Toulouse)</p>
<h2 id="le-comité-de-programme-est-le-suivant">Le comité de programme est le suivant</h2>
<ul>
<li>Quentin Cappart, École Polytechnique de Montréal, Canada</li>
<li>Mohamed Sami Cherif, Université Aix-Marseille, France</li>
<li>Hao Jin-Kao, Université d’Angers, France</li>
<li>Jean-Marie Lagniez, CRIL Lens, France</li>
<li>Arnaud Lallouet, Huawai Technologies, France</li>
<li>Chu-Min Li, Université de Picardie Jules Verne, France</li>
<li>Giovanii Lo Bianco, Universitéde Toronton, Canada</li>
<li>Xavier Lorca, IMT Mines Albi, France</li>
<li>Ndiaye Samba Ndjojh, Liris, France</li>
<li>Bertrand Neveu, LIGM Imagine École des Ponts ParisTech, France</li>
<li>Eric Piette, Maastricht Univerité</li>
<li>Nicolas Prcovic, Université Aix-Marseille</li>
<li>Julien Vion, LAMIH, France</li>
<li>Romain Wallon, CRIL Lens, France</li>
</ul>
2023-01-27T00:00:00+01:00https://www.afpc-asso.org/news/offres/modeleOffreTitre de l'offre2022-07-21T00:00:00+02:00AFPCMot-clés ou phrase de teaser<p>Description de l’offre.</p>
<h3 id="description">Description</h3>
<p>Il peut y avoir des textes <em>en italique</em>, <strong>en gras</strong> <del>barré</del>.</p>
<h3 id="titre">Titre</h3>
<p>Il peut y avoir des listes à puces :</p>
<ul>
<li>une</li>
<li>liste
<ul>
<li>une</li>
<li>sous-liste</li>
<li>à puces</li>
</ul>
</li>
<li>de listes
<ul>
<li>une autre</li>
<li>sous-liste</li>
</ul>
</li>
<li>à puces</li>
</ul>
<h3 id="titre-1">Titre</h3>
<p>Il peut y avoir des listes ordonnées :</p>
<ol>
<li>une</li>
<li>liste</li>
<li>ordonnée</li>
</ol>
<p>Une fois cette offre publiée, elle apparaitra à la fois dans la <a href="https://www.afpc-asso.org/blog/">liste des actualités</a> et dans la <a href="https://www.afpc-asso.org/blog/offres/">liste des offres</a>.</p>
2022-07-21T00:00:00+02:00https://www.afpc-asso.org/news/divers/modeleAnnonceTitre de votre nouvelle2022-07-21T00:00:00+02:00AFPCPetit teaser<p>Description de l’annonce.</p>
<h3 id="description">Description</h3>
<p>Il peut y avoir des textes <em>en italique</em>, <strong>en gras</strong> <del>barré</del>.</p>
<h3 id="titre">Titre</h3>
<p>Il peut y avoir des listes à puces :</p>
<ul>
<li>une</li>
<li>liste
<ul>
<li>une</li>
<li>sous-liste</li>
<li>à puces</li>
</ul>
</li>
<li>de listes
<ul>
<li>une autre</li>
<li>sous-liste</li>
</ul>
</li>
<li>à puces</li>
</ul>
<h3 id="titre-1">Titre</h3>
<p>Il peut y avoir des listes ordonnées :</p>
<ol>
<li>une</li>
<li>liste</li>
<li>ordonnée</li>
</ol>
<p>Une fois cette annonce publiée, elle apparaitra dans la <a href="https://www.afpc-asso.org/blog/">liste des actualités</a>.</p>
2022-07-21T00:00:00+02:00https://www.afpc-asso.org/news/offres/doctorat22IMT+PolyMtlPhD Position2022-07-11T00:00:00+02:00AFPCPhD position in co-supervising between IMT Atlantique (France) and Polytechnic of Montréal (Canada)<p>The PhD contract is expected to start in <strong>November/December 2022</strong>.</p>
<p>The details are also online from the IMT website (<a href="https://www.imt.fr/limt-recrute-10-nouveaux-doctorants-en-ia-dans-le-cadre-du-programme-doctoral-aiimt/">subject 9</a>).</p>
<p>PhD subject: “Counting and sampling of solutions for anytime pattern discovery”
Profile: The candidate should have a Master or similar degree in computer science. As the thesis proposal lies at the intersection of Data mining and Constraint Programming, the candidate should have a strong background in some of these topics.</p>
<p>The PhD student will be supervised by Gilles Pesant (Canada), Charlotte Truchet and Samir Loudni (France).</p>
<p>Applicant should send their application <strong>as soon as possible (URGENT)</strong> at <a href="mailto:gilles.pesant@polymtl.ca,samir.loudni@imt-atlantique.fr,charlotte.truchet@univ-nantes.fr">Gilles Pesant, Samir Loudni and Charlotte Truchet</a> with:</p>
<ul>
<li>A full curriculum vitae, including a summary of previous research experience</li>
<li>A transcript of grades</li>
<li>Link to research/development projects</li>
<li>A motivation letter discussing how the candidate’s background fits the proposed topic</li>
<li>Two/three support letters of persons that have worked with them</li>
</ul>
<p>The interested applicants can find in this <a href="https://www.afpc-asso.org/assets/offres/2022_IMT_offres_theses_sujet9.pdf">document</a> all the details of the proposition and the information on how to apply.</p>
2022-07-11T00:00:00+02:00https://www.afpc-asso.org/news/offres/postdoc22crilPostdoctoral researcher position2022-06-30T00:00:00+02:00AFPC<p>The CRIL (Lens Computer Science Research Lab - UMR 8188) Lab at Université d’Artois (Lens) is hiring a one-year postdoctoral researcher to work on the POSTCRYPTUM project, funded by the Agence Nationale de Recherche (ANR) and AID/DGA. This is a three-years project focused on algebraic cryptanalysis of public key cryptosystems, focused mainly on post-quantum schemes.</p>
<p>For more details on the project, please check <a href="https://home.mis.u-picardie.fr/~ionica/postcryptum/Welcome.html">here</a>.</p>
<p>The ideal candidate should hold a Phd degree in Computer Science, Symbolic AI, propositional satisfiability (SAT) and beyond.
Skills in one or several of the following topics will be appreciated:</p>
<ul>
<li>SAT solving,</li>
<li>Problem encodings and reformulation,</li>
<li>Cryptography,</li>
<li>Pattern mining and machine learning.</li>
</ul>
<p>The starting date is flexible, but preferably no later than December 2022.</p>
<p>For more information, please contact <a href="mailto:audemard@cril.fr,jabbour@cril.fr,sais@cril.fr">us</a>.</p>
2022-06-30T00:00:00+02:00https://www.afpc-asso.org/news/expos%C3%A9/exposeKnuthExposé invité de Donald Knuth2022-06-30T00:00:00+02:00AFPCDonald Knuth répondra à toutes vos questions lors de son exposé invité à CP 2022<p>Donald Knuth répondra à toutes vos questions lors de son exposé invité à <a href="https://cp2022.a4cp.org/invited.html">CP 2022</a>. Ce sera l’occasion pour lui d’avoir des retours sur la version actuelle de la section 7.2.2.3 de « The Art of Computer Programming », qui s’intéresse aux techniques de résolution des problèmes de satisfaction de contraintes.</p>
<p>Vous pouvez consulter la version en cours de la <a href="https://cs.stanford.edu/~knuth/fasc7a.ps.gz">section 7.2.2.3</a>. Notez que cette version devrait être étendue d’une douzaine de pages (ou plus) au moment où CP commencera (le même lien sera utilisé pour toutes les versions). Don souligne également qu’une récompense de 2,56$ par bug détecté sera remise aux premiers intervenants, plus 32 cents par excellente suggestion d’amélioration.</p>
<p>Si vous souhaitez poser une question, merci de l’envoyer à <a href="mailto:christine.solnon@insa-lyon.fr">Christine Solnon</a> avant le 31 juillet 2022. (Les questions seront tenues secrètes pour Don jusqu’à ce que l’exposé commence.) L’exposé sera diffusé en direct et enregistré afin que vous ayez l’opportunité d’entendre Don répondre à vos questions même si vous ne pouvez pas assister à CP.</p>
2022-06-30T00:00:00+02:00https://www.afpc-asso.org/news/offres/doctorat22AMUPhD Position2022-06-27T00:00:00+02:00AFPC<p>This Ph.D. thesis is part of the digital transformation of maritime transport project (projet Transformation Numérique
du Transport Maritime (TNTM) in French) funded by the PIA (Programme d’Investissement pour l’Avenir). The TNTM
project is led by CMA CGM, a world leader in the maritime transport sector, with a consortium of 8 partners (5 industrial
partners and 3 academic partners).
The objective of the TNTM project is to optimize logistics flows for environmental and competitive purposes by
integrating real-time data, processing it and integrating it into the optimization algorithms.</p>
<p>More informations in this <a href="https://www.afpc-asso.org/assets/offres/Sujet_LSNDP.pdf">document</a>.</p>
2022-06-27T00:00:00+02:00https://www.afpc-asso.org/news/conferences/jfpc22JFPC 2022, c'est en ce moment !2022-06-27T00:00:00+02:00AFPC<p>Nous nous retrouvons enfin en présentiel cette année pour les JFPC au sein de PFIA 2022, la Plate-Forme de conférences en Intelligence Artificielle organisé par l’AFIA.</p>
<p>Les JFPC auront lieu du 26 au 28 Juin 2022.</p>
<h1 id="organisation-des-jfpc-2022">Organisation des JFPC 2022</h1>
<p>Pour information, les JFPC ont été (magnifiquement) organisées par les personnes suivantes, très impliquées dans la PPC :</p>
<h2 id="comité-de-programme">Comité de programme</h2>
<h3 id="présidence">Présidence</h3>
<ul>
<li>Nicolas Prcovic (LIS, Université d’Aix-Marseille)</li>
</ul>
<h3 id="autre-membres">Autre Membres</h3>
<ul>
<li>Quentin Cappart (Ecole Polytechnique de Montréal)</li>
<li>Clément Carbonnel (CNRS)</li>
<li>Mohamed Sami Cherif (Aix-Marseille Université, LIS)</li>
<li>Thi-Bich-Hanh Dao (Université d’Orléans)</li>
<li>Sophie Demassey (CMA, MINES ParisTech)</li>
<li>Guillaume Derval (Université Catholique de Louvain)</li>
<li>Jean-Guillaume Fages (COSLING S.A.S.)</li>
<li>Xavier Gillard (Université Catholique de Louvain)</li>
<li>Jin-Kao Hao (Université d’Angers)</li>
<li>Arnaud Lallouet (Huawei Technologies Ltd)</li>
<li>Olivier Lhomme (IBM France)</li>
<li>Chu-Min Li (Université de Picardie Jules Verne)</li>
<li>Giovanni Lo Bianco (Université de Toronto)</li>
<li>Pierre Montalbano (ANITI/INRAE)</li>
<li>Margaux Nattaf (Grenoble INP - G-SCOP)</li>
<li>Samba Ndojh Ndiaye (Liris)</li>
<li>Bertrand Neveu (Ecole des ponts)</li>
<li>Abdelkader Ouali (GREYC, Université de Caen Normandie)</li>
<li>Marie Pelleau (Université Côte d’Azur, I3S)</li>
<li>Guillaume Perez (Université Côte d’Azur, I3S)</li>
<li>Eric Piette (DKE)</li>
<li>Charles Prud’Homme (IMT Atlantique, LS2N)</li>
<li>Mathieu Py (LIS, Aix-Marseille Université)</li>
<li>Julien Vion (LAMIH, Université de Valenciennes et du Hainaut-Cambrésis)</li>
<li>Romain Wallon (CRIL, Université d’Artois)</li>
<li>Ghiles Ziat (LIP6)</li>
</ul>
2022-06-27T00:00:00+02:00https://www.afpc-asso.org/news/offres/poste22collinsAerospacePoste de Senior research scientist2022-06-10T00:00:00+02:00AFPC<p>Collins Aerospace, une société du groupe Raytheon Technologies, cherche un Senior research scientist pour rejoindre l’équipe Multidisciplinary Design Optimization (MDO) du centre Applied Research and Technology à Cork, en Irlande. Il s’agit d’un poste permanent.</p>
<p>Ce poste est orienté vers l’optimisation combinatoire, en particulier pour la programmation par contraintes. Toute autre technique d’optimisation combinatoire est un plus.
Pour plus de détails, veuillez consulter <a href="https://careers.rtx.com/global/en/job/01536429/Senior-research-scientist-Combinatorial-optimization">l’offre</a>.</p>
<p>N’hésitez pas à contacter <a href="mailto:remy.julien.garcia@gmail.com">Rémy Garcia</a> pour toute demande informelle concernant le poste.</p>
2022-06-10T00:00:00+02:00