Association Française pour la Programmation par Contraintes – Programmation par Contraintes: Décrivez votre problème, laissez les solveurs le résoudre Programmation par Contraintes: Décrivez votre problème, laissez les solveurs le résoudre

Lettre de l'AFPC

====================
LETTRE DE L’AFPC #25
====================

Octobre 2010 - Février 2011

-——-
SOMMAIRE
-——-

  • Edito
  • JFPC 2011
  • Thèses et habilitations
  • Evénements à venir
  • Numéro spécial de revue
  • Emplois/stages

-————————-
EDITO, par Nicolas Prcovic
-————————-

Au nom de l’AFPC, je vous souhaite à tous, vue la date, un bon restant d’année.

C’est suite à de longues manoeuvres (lobbying intensif, chantages et pots-de- vins) que j’ai enfin réussi à m’emparer du contrôle de la Lettre de l’AFPC au détriment de Bruno Zanuttini, que nous pouvons remercier pour la qualité de son travail durant toutes ces années.

-——–
JFPC 2011
-——–

http://liris.cnrs.fr/jfpc-jiaf2011/

La date de soumission du résumé à JFPC 2011 approche (28 février).

Je vous rappelle que ces journées sont une occasion unique pour notre communauté de se retrouver tous ensemble. C’est la possibilité pour chacun de faire un point sur les principales avancées de notre discipline, puisque beaucoup d’articles déjà (ou pas encore) acceptés dans les autres conférences internationales sont aussi présentés à JFPC. C’est aussi l’occasion pour les doctorants de participer pour la première fois à une conférence, de faire connaître leur travaux et de rencontrer ceux qui pourraient devenir leurs futurs collègues. C’est pourquoi l’AFPC souhaite particulièrement inciter les jeunes chercheurs à soumettre et à participer aux JFPC. Chaque année, des bourses sont attribuées à des jeunes chercheurs pour les aider à assister à la conférence. L’appel sera lancé en mars.

Cette année, il y a quelques nouveautés :
- Les JFPC 2011 sont organisées conjointement avec les JIAF (Journées d’Intelligence Artificielle Fondamentale).
- A l’issue des JFPC, il sera proposé aux meilleurs travaux une publication en anglais dans un numéro spécial de la revue RIA en vue d’une distribution au moment de la conférence ECAI’2012 à Montpellier.

Par ailleurs, je tiens à signaler que la réputation gastronomique lyonnaise n’est pas usurpée, ce qui devrait achever de convaincre de venir certains membres éminents de notre communauté, que leurs rondeurs explicables me permettront de m’abstenir de les nommer.

-———————-
THESES ET HABILITATIONS
-———————-

Envoyez-moi (nicolas.prcovic@univ-cezanne.fr) vos annonces de soutenance, résumés, liens vers vos documents pour insérer une annonce dans la Lettre de l’AFPC. Envoyez-les à Cédric Piette (piette@cril.fr) pour une publication sur le site de l’AFPC.

Madjid Khichane (LIRIS, Lyon) « Optimisation sous contraintes avec les algorithmes de colonies de fourmis et la programmation par contraintes »
thèse soutenue le 26 octobre 2010. Directeurs : Christine Solnon et Patrick Albert.

Mériem Djefel (EMAC, Albi) « Couplage de la configuration de produit et de projet de réalisation : exploitation des approches par contraintes et des algorithmes évolutionnaires »
thèse soutenue le 17 novembre 2010. Directeurs : Michel Aldanondo, Claude Baron et Elise Vareilles.

Gilles Audemard (CRIL, Lens) « Résolution de problèmes autour de SAT »
HDR soutenue le 29 novembre 2010. Directeur : Christophe Lecoutre.

Daniel Le Berre (CRIL, Lens) « Sat4j, un moteur libre de raisonnement en logique propositionnelle »
HDR soutenue le 3 décembre 2010. Directeur : Pierre Marquis.

Dominique D’Almeida (CRIL, Lens) « Etude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial »
thèse soutenue le 3 décembre 2010. Directeurs : Jean-François Condotta, Christophe Lecoutre et Lakhdar Saïs.

Mohammad Dib (SET, Belfort) « Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP »
thèse soutenue le 8 décembre 2010. Directeurs : Alexandre Caminada et Hakim Mabed.

Nicolas Schwind (CRIL, Lens) « Fusion de réseaux de contraintes qualitatives »
thèse soutenue le 10 décembre. Directeurs : Jean-François Condotta, Souhila Kaci et Pierre Marquis.

-—————–
EVENEMENTS A VENIR
-—————–

Les événements sont classés par date de limite de soumission/participation croissante.

CSTVA’11 (3rd International workshop on Constraints in Software Testing, Verification and Analysis)
Soumission close. Workshop de la conférence ICST’11 (4th IEEE International Conference on Software Testing Verification and Validation) le 21 mars 2011 à Berlin, Allemagne.
http://www.st.cs.uni-saarland.de/cstva11/

COSI 2011 (8e Colloque sur l’Optimisation et les Systèmes d’Information)
Soumission close. Conférence du 24 au 28 avril 2011 à Guelma, Algérie.
http://www.isima.fr/cosi/cosi2011/

RJCIA 2011 (10e Rencontres des Jeunes Chercheurs en Intelligence Artificielle)
Soumission close. Conférence du 16 au 21 mai 2011 à Chambéry, France.
http://www.rjcia.afia2011.org/

SAT 2011 (Fourteenth International Conference on Theory and Applications of Satisfiability Testing)
Soumission close. Conférence du 19 au 22 juin 2011 à Ann Arbor, USA.
http://www.lri.fr/SAT2011/

ICLP 2011 (International Conference on Logic Programming 2011)
Soumission close. Conférence du 6 au 10 juillet 2011 à Lexington, Kentucky, USA.
http://www.cs.uky.edu/iclp2011/

IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence)
Soumission close. Conférence du 16 au 22 juillet 2011 à Barcelone, Espagne.
http://ijcai-11.iiia.csic.es/

CADE 23 (23rd International Conference on Automated Deduction)
Soumission close. Conférence du 31 juillet au 5 août 2011 à Wroclaw, Pologne.
http://cade23.ii.uni.wroc.pl/

NP-Par’2011 (7ème Réunion du Groupe de Travail sur la Résolution Parallèle de Problèmes NP-Complets)
Soumission d’intention de participer avant le 27 février. Réunion du GT ayant lieu
le mardi 10 mai 2011 (co-localisée avec RenPar’20 2011, 20èmes Rencontres Francophones du Parallélisme) à Saint-Malo, France.
http://renpar.irisa.fr

JFPC 2011 (7ème Journées Francophones de Programmation par Contraintes)
Soumission jusqu’au 7 mars 2011 (résumé le 28 février). Conférence du 8 au 11 juin 2011 à Lyon, France.
http://liris.cnrs.fr/jfpc-jiaf2011/

CSCLP 2011 (15th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming)
Soumission jusqu’au 9 mars 2011. Workshop du 12 au 14 avril 2011 à York, Royaume Uni.
http://csclp2011.cs.st-andrews.ac.uk/

CPAIOR 2011 (8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming)
Soumission standard close mais soumission de résumés de travaux récents ou en cours (“Late breking abstracts”) jusqu’au 27 mars 2011. Conférence du 23 au 27 mai 2011 à Berlin, Allemagne.
http://cpaior2011.zib.de/site/make.php?event=cpaior2011

JFPDA 2011 (6es Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes)
Soumission jusqu’au 28 mars 2011. Journées les 23 et 24 juin 2011 à Rouen, France.
http://zanutti.perso.info.unicaen.fr/jfpda2011/

IAF 2011 (5e Journées d’Intelligence Artificielle Fondamentale)
Soumission jusqu’au 1er avril 2011. Conférence du 8 au 11 juin 2011 à Lyon, France.
http://gdri3iaf.info.univ-angers.fr/

ACP Summer School 2011: Hybrid Methods for Constraint Programming
Demande d’inscription jusqu’au 1er avril 2011. Ecole d’été au 27 juin au 1er juillet 2011 à Turunç, Turquie.

ASPOCP 2011 (4th Workshop on Answer Set Programming and Other Computing Paradigms)
Soumission jusqu’au 22 avril 2011. Workshop d’ICLP (International Conference on Logic Programming 2011), la conférence ayant lieu du 6 au 10 juillet 2011 à Lexington, Kentucky, USA.
http://www.dbai.tuwien.ac.at/proj/aspocp11/

CP 2011 (17th International Conference on Principles and Practice of Constraint Programming)
Soumission jusqu’au 22 avril 2011. Conférence du 13 au 16 septembre 2011 à Pérouse, Italie.
http://www.dmi.unipg.it/cp2011/

ICTAI 2011 (23rd IEEE International Conference on Tools with Artificial Intelligence)
Soumission jusqu’au 10 juin 2011. Conférence du 7 au 9 novembre 2011 à Boca Raton, Floride, USA.
http://www.cse.fau.edu/ictai2011/

-———————-
NUMERO SPECIAL DE REVUE
-———————-

Journal of Scheduling : Special issue on Maintenance Scheduling: Theory and Applications
Soumission d’un article avant le 26 mars 2011.
http://www.cs.nott.ac.uk/~exo/specialissue/CFP_JoS2011.html

-————-
EMPLOIS/STAGES
-————-

Il vous reste très peu de temps pour postuler à certaines des annonces suivantes.

** Poste CR2 à l’INRA, Toulouse **

Un poste en informatique/mathématiques appliquées de Chargé(e) de recherches de 2e classe INRA est ouvert au concours cette année. Le poste, intitulé ‘Optimisation combinatoire pour la bioinformatique’, est situé à Toulouse, dans notre équipe “Statistiques et Algorithmique pour la Biologie”.

===> Date limite de candidature au 24 Février 2011 <===

Pour plus de détails, voir http://carlit.toulouse.inra.fr/wikiz/index.php/Emplois

** Thèse en optimisation combinatoire par programmation par contraintes **

Dans le cadre d’un projet financé par l’Agence Nationale de la Recherche (ANR blanc, http://costfunction.org/ficolofo), nous recherchons un candidat pour une thèse dans le domaine de l’optimisation combinatoire par programmation par contraintes et réseaux de contraintes (pondérées).

Le projet implique les laboratoires du LIRMM (C. Bessiere), de l’IRIT (MC Cooper), du GREYC (S. Loudni) et de l’INRA-BIA (T. Schiex).

Les candidats devront avoir (ou être en instance d’obtenir) un Master en informatique ou en mathématiques appliquées. Une expérience en développement est appréciée.

Des informations supplémentaires sur le projet sont disponibles sur le site web du projet . La date limite de candidature est placée mi-Juillet 2011, mais les demandes seront traitées au fur et à mesure de leur arrivée. Les demandes plus précises peuvent être adressées à Thomas Schiex (voir http://www.inra.fr/mia/T/schiex pour mail et téléphone).

** Internships at Microsoft Research, Cambridge UK **

The Microsoft Research Constraint Reasoning Group (http://research.microsoft.com/constraint-reasoning) is proposing several internship positions. The candidates should be PhD students or post-doctoral researchers interested in:

- Optimization, constraint satisfaction and AI search, including planning algorithms, SAT and Satisfiability Modulo Theories

- Artificial intelligence techniques in general, and their innovative applications on the desktop, on devices and on the Web

- Software verification and program synthesis

- Parallel processing, high-performance computing and parallelization of existing algorithms

The goal of these internships is to conduct fundamental research driven by long term Microsoft applications. The internship programme offers a highly competitive salary, an exciting work environment and great opportunities to develop connections with other interns from the best universities worldwide! More information here: http://research.microsoft.com/en- us/jobs/intern/about_uk.aspx.

Interested applicants should register here, https://research.microsoft.com/apps/tools/jobs/intern.aspx, and may, additionally, contact us directly by e-mail.

Work location: Cambridge, United Kingdom.
Duration: 12 weeks.
Required availability: from April 2011
Contact: {youssefh, cwinter, lucasb} at Micro (no space) soft dot com

-- Nicolas Prcovic


archive

Archive