Nav
Contact
AFPC
Qui sommes-nous ?
Statuts, Bureau, CA
Adhésion
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.
Réunion du CA de l'AFPC en marge de la PFIA
Le premier CA en présentiel depuis la fin de la pandémie !
En lire plus ›
Préparez vos contributions (et votre voyage) ! ›
JFPC 2023, c'est à Strasbourg !
En lire plus ›
Lieu de l'offre ›
Titre de l'offre
Mot-clés ou phrase de teaser
En lire plus ›
Sur-titre ›
Titre de votre nouvelle
Petit teaser
En lire plus ›
IMT Atlantique (France) and Polytechnique de Montréal (Canada) ›
PhD Position
PhD position in co-supervising between IMT Atlantique (France) and Polytechnic of Montréal (Canada)
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 ›
