Nav
Contact
AFPC
Qui sommes-nous ?
Histoire de l'AFPC
Statuts, Bureau, CA
Adhésion
La PPC
La recherche en PPC
les entreprises
la PPC à l'international
Les JFPC
Thèses et HDR
Actualité
Archives
Offres
Start
blog
Archive
Archive
Liste de tous les posts publiés sur le site de l'AFPC.
Préparez vos contributions (et votre voyage) ! ›
JFPC 2023, c'est à Strasbourg !
En lire plus ›
IMT Atlantique (France) and Polytechnique de Montréal (Canada) ›
PhD Position
En lire plus ›
CRIL, Université d'Artois, Lens, France ›
Postdoctoral researcher position
En lire plus ›
Exposé invité de Donald Knuth
Donald Knuth répondra à toutes vos questions lors de son exposé invité à CP 2022
En lire plus ›
Université Aix-Marseille ›
PhD Position
En lire plus ›
C'est le temps des JFPC 22 ! ›
JFPC 2022, c'est en ce moment !
En lire plus ›
Optimisation combinatoire à Collins Aerospace, Cork, Irlande ›
Poste de Senior research scientist
En lire plus ›
KU Leuven, Belgique ›
PostDoc positions
Modeling languages, explainability and learning
En lire plus ›
Software Safety and Security Lab., Commissariat à l'Energie Atomique (CEA) ›
PhD Position
AI for Software Verification
En lire plus ›
Fin des JFPC 21 ! Vive les JFPC 22 ! ›
JFPC 2021, c'est fini !
Rendez vous l'année prochaine pour une prochaine édition
En lire plus ›
Le prix Jeune Chercheur JFPC 21 décerné à Mathieu Vavrille ›
Le Prix Jeune Chercheur JFPC 21
Ce prix récompense la meilleur présentation Jeune Chercher aux JFPC 21
En lire plus ›
Les JFPC 2021, le programme ! ›
Les JFPC 2021
Rendez vous aux JFPC à Nice (en virtuel) la semaine du 22 Juin 2021
En lire plus ›
Les JFPC 2020 sont reportés ›
Les JFPC 2020 sont reportés
On devait se retrouver à Nice en Juin mais la situation sanitaire nous oblige à reporter les JFPC à une date ultérieure
En lire plus ›
JFPC'19 - 12 au 14 juin à Albi - Deadline le 22/03/19
Les JFPC (Journées francophones de programmation par contraintes) sont le principal congrès de la communauté francophone travaillant sur les problèmes
En lire plus ›
JFPC'19 - 12 au 14 juin à Albi - Deadline le 22/03/19
En lire plus ›
JFPC'19 - 12 au 14 juin à Albi - Deadline le 22/03/19
En lire plus ›
PhD position to work on SAT available at KTH
En lire plus ›
Sujet de thèse de doctorat en informatique @ Marseille
En lire plus ›
Compétition XCSP3 2018 : appel à solveurs
En lire plus ›
Master Class "Méthodes Hybrides pour l’Optimisation Combinatoire/Mixte" 4 et 5 juin 2018 au LAAS-CNR
En lire plus ›
Poste permanent d'Assistant-Professeur à l'IMT-Atlantique (4 avril 2018)
En lire plus ›
Poste MCF 27e section - INSA Toulouse - LAAS-CNRS
En lire plus ›
JFPC'18 - Amiens 13-15 juin 2018
En lire plus ›
2 postes de Maître de Conférences section 27 à Toulouse
En lire plus ›
Offre de stage de M2 recherche Data mining et Programmation par contraintes
En lire plus ›
Appel à soumission: CP 2018
En lire plus ›
Offre de stage Master 2 en optimisation combinatoire et programmation par contraintes
En lire plus ›
ICORES 2018 -- the International Conference on Operations Research and Enterprise Systems
En lire plus ›
ICORES 2018-- International Conference on Operations Research and Enterprise Systems
En lire plus ›
Workshop on Progress Towards the Holy Grail
En lire plus ›
PhD scholarship on Constraints, Graphical Models and Algorithms -- LSIS, Marseille
En lire plus ›
Proposition de thèse au LAAS, Toulouse
En lire plus ›
4 postes d'ATER en informatique (section 27), à Lens
En lire plus ›
CP & OR Summer School - Call for participation
En lire plus ›
Poste de MCF 27e section - Université Nice Sophia Antipolis
En lire plus ›
Thèse "Décision hiérarchique" à l'Onera Toulouse
En lire plus ›
Poste de MCF 27e section - CRIL (Lens) - Université d'Artois
En lire plus ›
Constraint Programming/Optimization Researcher Position
En lire plus ›
Associate professorship in computer science (including SAT solving) at KTH Royal Institute of Technology
En lire plus ›
Offre de stage M2 Nantes
En lire plus ›
Un programme-joueur générique champion dirigé par les contraintes
En lire plus ›
Offre de thèse CIFRE
En lire plus ›
Workshop "CP Meets Verification 2016" @ CP 2016, Sept. 5, 2016, Toulouse, France (** deadline extens
En lire plus ›
CFP workshop on Constraint-Based Methods for Bioinformatics, Toulouse, Sept. 5 2016
En lire plus ›
Post-Doc position at Onera Toulouse
En lire plus ›
Offre de thèse à Grenoble
En lire plus ›
Sujet de thèse au LERIA
En lire plus ›
CPF ICORES 2017
En lire plus ›
Lancement du PréGDR sur les « Aspects Formels et Algorithmiques de l’Intelligence Artificielle »
En lire plus ›
Poste de maître de conférences 61e à Toulouse (Diagnostic, CSP)
En lire plus ›
PhD funding available - Theory of constraints
En lire plus ›
Journée Transports Intelligents / Appel à soumissions
En lire plus ›
Poste E/C Informatique - Intelligence Artificielle à Mines Nantes
En lire plus ›
Appel à soumission: CP 2016
En lire plus ›
Appel à communications JFPC 2016
En lire plus ›
Session spéciale "Contraintes" à la ROADEF
En lire plus ›
Offre de post-doc à Nantes
En lire plus ›
CFP : 5th International Conference on Operations Research and Enterprise Systems
En lire plus ›
Appel à communications pour le Doctoral Program
En lire plus ›
ACAI'15 : Ecole d'été "Constraints Solving Techniques in AI" à Lille, octobre 2015
En lire plus ›
Proposals for phd thesis - coconut team - lirmm - Montpellier
En lire plus ›
Thèse sur la résolution pratique de la cohérence de formules en logique modale
En lire plus ›
Sujet de thèse au LCOMS -- Université de Lorraine
En lire plus ›
Lecturer / Senior Lecturer (Discrete Optimisation) at Monash University, Melbourne, Australia
En lire plus ›
PhD Thesis in CP and SMT-solving at Inria Rennes
En lire plus ›
Poste de MCF à Lens, CRIL, Université d'Artois - Profil: Intelligence Artificielle
En lire plus ›
Poste MCF 27 Caen - Sciences des données, programmation par contraintes
En lire plus ›
Optimization Challenge by Kaggle and FICO
En lire plus ›
RJCIA 2015 - 1er appel a communications
En lire plus ›
Offre Thèse CIFRE LSIS-Marseille-ATOS-Toulon
En lire plus ›
Postdoc position in Propositional Satisfiability at CRIL University of Artois, Lens (France)
En lire plus ›
PhD position in Constraint Satisfaction (LSIS-Marseille-France)
En lire plus ›
Appel aux résumés (25 juin) : workshop "CP meets Verification" à CP 2014
En lire plus ›
Thèse optimisation et design de protéines
En lire plus ›
Sr. R&D Engineer / Software Architect - Formal verification at ATRENTA (Grenoble)
En lire plus ›
Un poste de MCF Intelligence Artificielle ouvert à l'Université Montpellier 2
En lire plus ›
Summer School: Constraint Programming Meets Data Mining
En lire plus ›
Poste MCF - Programmation Par Contraintes - Université Nice Sophia Antipolis
En lire plus ›
ParSearchOpt14: Parallel Methods for Search & Optimization
En lire plus ›
Bin Packing and Placement Constraints BPPC'14 associated to CPAIOR'14
En lire plus ›
Offre de thèse de l'Universite de Picardie Jules Verne
En lire plus ›
2 sujets de Master 2 Recherche au CRIL - Lens
En lire plus ›
Proposition de stages de M2 en intelligence artificielle dans l'équipe MAD à Caen
En lire plus ›
Poste IE au GREYC, Université de Caen
En lire plus ›
Open Research Positions, Microsoft Research Cambridge Lab
En lire plus ›
[JFPC 2014] Appel à communications
En lire plus ›
COSI 2014, 8 - 10 juin 2014, Béjaia (Algérie)
En lire plus ›
Appel à communications RJCIA 2014
En lire plus ›
Postdoc position at COCONUT-LIRMM
En lire plus ›
Appel à Communication RFIA
En lire plus ›
IJCAR 2014 Call for Papers
En lire plus ›
Proposition de thèse CIFRE Caen
En lire plus ›
Propositions de theses IBM
En lire plus ›
CPAIOR 2014 2nd Call for Papers
En lire plus ›
MSR PhD Scholarship in Europe, the Middle East, and Africa
En lire plus ›
LPAR-19 - Calls for Short Papers and Workshop Papers
En lire plus ›
Azure for Research
En lire plus ›
29th ACM Symposium on Applied Computing / CSP Track
En lire plus ›
Postdoc positions in SAT/SMT-based Verification available in Trento
En lire plus ›
Proposition de stage post-doctoral
En lire plus ›
Recrutement Ingénieur de recherche / Post-doc. au CRIL
En lire plus ›
Deux ouvrages d'intérêt pour l'AFPC
En lire plus ›
Proposition de thèse CIFRE
En lire plus ›
LPAR-19 Call For Paper
En lire plus ›
Offre de thèse au CRIL
En lire plus ›
Offre de thèse
En lire plus ›
Post-doc: Markov constraints applied to music/text generation
En lire plus ›
Trois postes de PR en informatique (section CNU 27), CRIL, profil recherche « Intelligence Artificielle »
En lire plus ›
Postdoc news (de C. Bessière)
En lire plus ›
Poste MCF Contraintes/Représentation de Connaissances à Montpellier
En lire plus ›
Poste MdC à Caen
En lire plus ›
Thèse au LINA
En lire plus ›
PHD positions in SAT/SMT-based Verification available in Trento
En lire plus ›
Sujet de master recherche et de thèse en fouille de données et programmation par contraintes au GREYC
En lire plus ›
Postdoc positions in SAT/SMT-based Verification available in Trento
En lire plus ›
CADE-24 Workshop CFPs
En lire plus ›
CP'13 call for paper
En lire plus ›
COSI'13 : appel à papier
En lire plus ›
HdR Florent Madelaine le 4 décembre à Clermont-Ferrand
En lire plus ›
Appel à communications JFPC 2013
En lire plus ›
Appel à papier CADE-24
En lire plus ›
PhD position LIX/MSR
En lire plus ›
Open Postdoc position, LINA, Nantes, France (8 months)
En lire plus ›
ACM SAC 2013: Track on Constraint Solving and Programming
En lire plus ›
Workshop on Optimization for Smart Cities and related applications
En lire plus ›
Workshop on nonlinear optimization in constraint programming at CP2012
En lire plus ›
Declarative Pattern Mining Workshop@ICDM2012
En lire plus ›
Offre de thèse aux Mines de Nantes (contraintes continues & géométrie)
En lire plus ›
Postdoc positions in SAT/SMT-based Verification available in Trento
En lire plus ›
Call for Participation: Mancoosi International Solver Competition
En lire plus ›
ECAI 2012 - Appel à participation
En lire plus ›
Training Program Committee CP2012/Doctoral Program
En lire plus ›
Offre de thèse au CRI / Univ. Paris 1
En lire plus ›
Sujet de thèse au LERIA
En lire plus ›
Offre de thèse au LERIA
En lire plus ›
Agenda de la PPC
En lire plus ›
sujet de thèse au CRIL
En lire plus ›
AFPC Assemblee Generale - Toulouse 22 mai 2012 - APPEL A CANDIDATURES CA
En lire plus ›
Appel à candidatures pour l'organisation de JFPC 2013
En lire plus ›
Bourses Jeunes Chercheurs JFPC 2012
En lire plus ›
Prise en charge des frais d'inscription à CPAIOR par l'AFPC
En lire plus ›
Collection "programmation par contraintes" chez Hermes / ISTE / Wiley
En lire plus ›
Constraints Journal Surveys
En lire plus ›
Penelope : un nouveau solveur SAT parallèle
En lire plus ›
[CDD 44] Ingénieur d'études CNRS
En lire plus ›
JFPC 2012 : dernier appel à communication et à tutoriel
En lire plus ›
Poste Professeur Université catholique Louvain, Belgique
En lire plus ›
Listes
En lire plus ›
Instructions soumission
En lire plus ›
Instructions pour créer un compte
En lire plus ›
Composition du conseil d'administration
En lire plus ›
RFIA 2012 : Appel à Communication
En lire plus ›
Prix Robert Faure 2012
En lire plus ›
Post-doc positions at Microsoft-INRIA Joint Lab
En lire plus ›
Tree-based Graph Partitioning Constraint
En lire plus ›
Call for Papers : Declarative Pattern Mining Workshop@ICDM2011
En lire plus ›
4 postes ATER 27e section Faculté des Sciences et Techniques (Aix-Marseille 3)
En lire plus ›
Annonce de thèse Microsoft Research / GREYC (Caen) en Programmation par Contraintes
En lire plus ›
Poste d'enseignant-chercheur à l'école des Mines de Nantes
En lire plus ›
Postdoc position LAAS-CNRS / CNES
En lire plus ›
Offre post-doc Greyc (fouille de données et contraintes)
En lire plus ›
PhD scholarships on Constraints @ LSIS (marseille)
En lire plus ›
Constraint Programming in Music
En lire plus ›
Constraint Programming in Music
En lire plus ›
Deux sujets de thèse financés au CRIL (Lens, France)
En lire plus ›
Annonce de thèse Microsoft Research au GREYC (Caen)
En lire plus ›
AntSolver : un solveur de CSP basé sur ACO
En lire plus ›
Poste MCF Montpellier équipe Coconut (contraintes, apprentissage)
En lire plus ›
Poste Professeur au LIRIS équipe M2DisCo - INSA Lyon département Informatique
En lire plus ›
Postes PR et MCF en Informatique à Marseille (1 PR + 1 MC)
En lire plus ›
Post-doctoral position for studying computational methods for chemogenomics
En lire plus ›
Appel à papier NP-Par'2011
En lire plus ›
Contraintes globales de partitionnement de graphe par des arbres
En lire plus ›
Lettre de l'AFPC
En lire plus ›
ACP Summer School 2011: Hybrid Methods for Constraint Programming
En lire plus ›
Poste de MCF 27 à Sophia Antipolis
En lire plus ›
Fields Institute Summer Thematic Program on the Mathematics of Constraint Satisfaction
En lire plus ›
Appel à papier JFPC'11
En lire plus ›
Appel à papier JFPDA'11
En lire plus ›
Poste de CR2 en optimisation combinatoire pour la bioinformatique
En lire plus ›
Offre de thèse
En lire plus ›
Poste CR2 "Optimisation combinatoire pour la Bioinformatique"
En lire plus ›
Poste de professeur 27 à Orléans (LIFO)
En lire plus ›
Poste de professeur en Math appliqués / Recherche Opérationnelle à Polytechnique Montréal
En lire plus ›
Poste CR2 "Optimisation combinatoire pour la Bioinformatique" à Toulouse
En lire plus ›
Conference Debat Optimisation et Developpement Durable (27 janvier, Microsoft)
En lire plus ›
JFPC 2011 : appel à papier
En lire plus ›
JFPC 2011
En lire plus ›
Appel à candidatures pour l'organisation de JFPC 2012
En lire plus ›
Soutenance de thèse de Mériem DJEFEL - 17 novembre 2010 - 10h
En lire plus ›
Poste d'enseignant chercheur en informatique à l'ENAC
En lire plus ›
Appel à papier COSI'11
En lire plus ›
Programme LAD et Isomorphisme de sous-graphes
En lire plus ›
Appel à candidatures pour l'organisation de JFPC 2012
En lire plus ›
ICTAI 2010, Arras, 27-29 octobre
En lire plus ›
Ant Colony Optimization and Constraint Programming
En lire plus ›
JFPC 2010
En lire plus ›
4 postes d'ATER à Orléans
En lire plus ›
4 postes MCF section 27 mis au concours au CRIL UMR 8188, Lens
En lire plus ›
Appel à mémoire
En lire plus ›
Mémoires
En lire plus ›
Constraint networks
En lire plus ›
Réunion du CA le 26/11/09
En lire plus ›
Réunion du CA le 26/11/09
En lire plus ›
MSR PhD Scholarship on Parallel SAT Solving
En lire plus ›
ReVivAl : un nouveau préprocesseur pour SAT
En lire plus ›
Liste des séminaires passés
En lire plus ›
Parrainage
En lire plus ›
Financement mission JFPC (jeunes chercheurs) par l'AFPC
En lire plus ›
Devenir membre
En lire plus ›
Mémoires de thèses et d'habilitations
En lire plus ›
L'association
En lire plus ›
Newsflash JFPC09
En lire plus ›
Newsflash Annonce Prof Orléans
En lire plus ›
Les séminaires de l'AFPC
En lire plus ›
Livre « Optimisation par colonies de fourmis »
En lire plus ›
3 postes ATER 2009-2010 Département info Université Orléans
En lire plus ›
Trois questions à Francesca Rossi
En lire plus ›
QeCode 1.2
En lire plus ›
Choco V2
En lire plus ›
Actes d'IJCAI en ligne
En lire plus ›