Archive

Liste de tous les posts publiés sur le site de l'AFPC.

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