CFP : JFPC08, du 4 au 6 juin
Forum 'Annonces' - Sujet créé le 2008-02-18 par truchet
----------------------------------------------------------------------------
JFPC'2008
Quatrièmes Journées Francophones de Programmation par Contraintes
Nantes - Ecole des Mines de Nantes
du 4 au 6 juin 2008
http://www.lina.sciences.univ-nantes.fr/JFPC08/
----------------------------------------------------------------------------
Dates importantes :
------------------
* Date limite d'envoi des résumés d'articles : 28 février 2008
* Date limite de soumission des articles complets : 6 mars 2008
* Notification aux auteurs : 11 avril 2008
* Version définitive en français : 4 mai 2008
* JFPC 2008 : du 4 au 6 juin 2008
* Demi-journée industrielle : 4 juin 2008 après-midi
Congrès à l'initiative de l'Association Française de Programmation par
Contraintes : http://www.afpc-asso.org/
Les JFPC (Journées Francophones de Programmation par Contraintes) sont
le principal congrès des communautés francophones travaillant sur les
problèmes de satisfaction de contraintes (CSP), le problème de la
satisfiabilité d'une formule logique propositionnelle (SAT) et/ou la
programmation en logique avec contraintes (CLP). La communauté de
programmation par contraintes entretient également des liens avec la
programmation linéaire en nombres entiers (PLNE), l'analyse par
intervalles (CSP sur les réels), la recherche locale et différents
domaines de l'intelligence artificielle.
De par les langages et les algorithmes mis en oeuvre dans ses
logiciels de résolution, la programmation par contraintes permet de
s'attaquer à des domaines applicatifs nombreux et variés en recherche
opérationnelle (ex : ordonnancement de tâches, conception d'emplois du
temps, problèmes d'optimisation), en robotique (ex : conception
optimale de robot) ou en bio-informatique (ex : étude du génôme).
Les JFPC se veulent un lieu convivial de rencontres, de discussions et
d'échanges pour la communauté francophone, en particulier entre
thésards, chercheurs plus confirmés et industriels. L'importance des
JFPC est reflétée par la part considérable, d'environ 25 %, de la
communauté francophone dans la recherche mondiale dans ce domaine.
Thèmes :
-------
* Algorithmes de résolution :
algorithmes de filtrage et de propagation de contraintes,
contraintes globales, relaxation, algorithmes de recherche
arborescente, analyse et retrait des symétries, algorithmes
autonomes/adaptatifs, programmation mathématique, recherche locale
et métaheuristiques, techniques d'intervalles, hybridations, ...
* Problèmes combinatoires, modèles :
CSP, SAT, CSP continus, contraintes quantifiées, contraintes
souples, optimisation combinatoire, complexité des problèmes, ...
* Langages de programmation en logique et/ou par contraintes :
théorie et sémantique, conception et implantation, analyse statique
et typage, environnements de programmation, ...
* Applications :
modélisation et résolution de problèmes réels, benchmarks et
bibliothèques de problèmes, nouveaux domaines applicatifs, ...
* Enseignement de la programmation en logique et/ou par contraintes :
cours, travaux pratiques, langages de résolution, outils d'enseignement, ...
Historique :
-----------
Les JFPC (Journées Francophones de Programmation par Contraintes) sont
patronnées par l'AFPC (Association Française pour la Programmation par
Contraintes). Cette quatrième édition des JFPC, qui aura lieu à Nantes
du 4 au 6 juin 2008, fait suite aux manifestations antérieures qui se
sont tenues à Rocquencourt (2007), Nîmes (2006) et Lens (2005).
Les JFPC sont issues de la fusion des conférences JFPLC (Journées
Francophones de la Programmation Logique avec Contraintes) nées en
1992 et des JNPC (Journées Nationales sur la Résolution Pratique de
Problèmes NP-Complets) nées en 1994. Avant cette fusion, le
rapprochement entre les deux communautés s'est traduit, depuis 1998,
par l'organisation conjointe des JFPLC et des JNPC : Angers (2004),
Amiens (2003), Nice (2002), Marseille (2000), Lyon (1999) et Nantes
(1998).
Soumission :
-----------
Les articles ne doivent pas dépasser 10 pages dans le style de la
conférence (www.lina.sciences.univ-nantes.fr/JFPC08/jfpc08/index.php?page=modalites-de-soumission).
Les articles peuvent être soumis en français ou en anglais, mais la
version finale devra être en français. Les soumissions se font par
voie électronique (http://www.easychair.org/conferences/?conf=jfpc2008).
Les travaux acceptés seront publiés dans les actes des journées et mis
à disposition sur le site de l'AFPC. Ils devront être présentés
oralement lors du congrès.
Pour éviter que les meilleurs travaux de la communauté francophone ne
soient uniquement présentés dans les congrès internationaux, le comité
de programme invite tout membre de la communauté soumettant ses
travaux à un congrès international à les soumettre parallèlement à
JFPC 2008. La condition sur l'écriture en langue française de la
version finale de l'article reste néanmoins valide.
Démonstrations de logiciels, applications :
------------------------------------------
Dans l'après-midi du mercredi 4 juin, une session permettra à des
industriels et à des chercheurs de présenter leurs logiciels et leurs
applications. Des stands seront mis à disposition pour y faire des
démonstrations. Les demandes de démonstration seront soumises avant
le 20 mai 2008 sous la forme d'un très court article (au format libre)
ou d'un poster contenant quelques copies d'écran :
www.lina.sciences.univ-nantes.fr/JFPC08/jfpc08/index.php?page=modalites-de-soumission
Jeunes chercheurs :
------------------
Un objectif des journées est de permettre aux jeunes chercheurs du
domaine de présenter leurs travaux à l'ensemble de la communauté
francophone. Aussi les étudiants en thèse sont-ils encouragés à
soumettre à la communauté leurs travaux en cours ; certains articles
décrivant des travaux partiellement aboutis mais portant des
perspectives intéressantes pourront être sélectionnés dans une session
spéciale « jeunes chercheurs ».
Comité de programme :
--------------------
Président et contact : Gilles Trombettoni, Université de Nice-Sophia, INRIA
trombe@sophia.inria.fr
Membres :
+ Philippe Baptiste, LIX Palaiseau
+ Nicolas Beldiceanu, EMN/LINA Nantes
+ Hachémi Bennaceur, CRIL Lens
+ Marco Benedetti, LIFO Orléans
+ Thierry Benoist, Bouygues Paris
+ Hadrien Cambazard, 4C Cork Irlande
+ Gilles Chabert, ENSIETA Brest
+ Philippe Chatalic, LRI Orsay
+ Emmanuel Coquery, LIRIS Lyon
+ Sophie Demassey, EMN/LINA Nantes
+ Romuald Debruyne, EMN/LINA Nantes
+ Yves Deville, UCL Louvain Belgique
+ Khalil Djelloul, LIFO Orléans
+ Mathieu Estratat, LIA Avignon
+ Arnaud Gotlieb, IRISA Rennes
+ Frédéric Goualard, LINA Nantes
+ Youssef Hamadi, Microsoft Research
+ Daniel Le Berre, CRIL Lens
+ Christophe Lecoutre, CRIL Lens
+ Olivier Lhomme, Ilog Sophia
+ Chu Min Li, LARIA Amiens
+ Bertrand Neveu, INRIA/ENPC Sophia
+ Cédric Pralet, Onera, Toulouse
+ Richard Ostrowski, LSIS Marseille
+ Philippe Refalo, Ilog Sophia
+ Louis-Martin Rousseau, polytechnique Montréal Canada
+ Michel Rueher, I3S Sophia
+ Frédéric Saubion, LERIA Angers
+ Sylvain Soliman, INRIA Rocquencourt
+ Michel Vasquez, EMA Nîmes
+ Stéphane Zampelli, UCL Louvain Belgique
+ Matthias Zytnicki, INRA Toulouse
Comité d'organisation :
----------------------
Présidente et contact : Charlotte Truchet, Laboratoire d'Informatique
de Nantes-Atlantique (LINA, FRE-2729)
Charlotte.Truchet@univ-nantes.fr
Vice-présidente : Catherine de Charette, EMN
Les JFPC sont organisées par l'équipe Contraintes du Lina avec le
concours de la DRITT de l'EMN.
JFPC'2008
Quatrièmes Journées Francophones de Programmation par Contraintes
Nantes - Ecole des Mines de Nantes
du 4 au 6 juin 2008
http://www.lina.sciences.univ-nantes.fr/JFPC08/
----------------------------------------------------------------------------
Dates importantes :
------------------
* Date limite d'envoi des résumés d'articles : 28 février 2008
* Date limite de soumission des articles complets : 6 mars 2008
* Notification aux auteurs : 11 avril 2008
* Version définitive en français : 4 mai 2008
* JFPC 2008 : du 4 au 6 juin 2008
* Demi-journée industrielle : 4 juin 2008 après-midi
Congrès à l'initiative de l'Association Française de Programmation par
Contraintes : http://www.afpc-asso.org/
Les JFPC (Journées Francophones de Programmation par Contraintes) sont
le principal congrès des communautés francophones travaillant sur les
problèmes de satisfaction de contraintes (CSP), le problème de la
satisfiabilité d'une formule logique propositionnelle (SAT) et/ou la
programmation en logique avec contraintes (CLP). La communauté de
programmation par contraintes entretient également des liens avec la
programmation linéaire en nombres entiers (PLNE), l'analyse par
intervalles (CSP sur les réels), la recherche locale et différents
domaines de l'intelligence artificielle.
De par les langages et les algorithmes mis en oeuvre dans ses
logiciels de résolution, la programmation par contraintes permet de
s'attaquer à des domaines applicatifs nombreux et variés en recherche
opérationnelle (ex : ordonnancement de tâches, conception d'emplois du
temps, problèmes d'optimisation), en robotique (ex : conception
optimale de robot) ou en bio-informatique (ex : étude du génôme).
Les JFPC se veulent un lieu convivial de rencontres, de discussions et
d'échanges pour la communauté francophone, en particulier entre
thésards, chercheurs plus confirmés et industriels. L'importance des
JFPC est reflétée par la part considérable, d'environ 25 %, de la
communauté francophone dans la recherche mondiale dans ce domaine.
Thèmes :
-------
* Algorithmes de résolution :
algorithmes de filtrage et de propagation de contraintes,
contraintes globales, relaxation, algorithmes de recherche
arborescente, analyse et retrait des symétries, algorithmes
autonomes/adaptatifs, programmation mathématique, recherche locale
et métaheuristiques, techniques d'intervalles, hybridations, ...
* Problèmes combinatoires, modèles :
CSP, SAT, CSP continus, contraintes quantifiées, contraintes
souples, optimisation combinatoire, complexité des problèmes, ...
* Langages de programmation en logique et/ou par contraintes :
théorie et sémantique, conception et implantation, analyse statique
et typage, environnements de programmation, ...
* Applications :
modélisation et résolution de problèmes réels, benchmarks et
bibliothèques de problèmes, nouveaux domaines applicatifs, ...
* Enseignement de la programmation en logique et/ou par contraintes :
cours, travaux pratiques, langages de résolution, outils d'enseignement, ...
Historique :
-----------
Les JFPC (Journées Francophones de Programmation par Contraintes) sont
patronnées par l'AFPC (Association Française pour la Programmation par
Contraintes). Cette quatrième édition des JFPC, qui aura lieu à Nantes
du 4 au 6 juin 2008, fait suite aux manifestations antérieures qui se
sont tenues à Rocquencourt (2007), Nîmes (2006) et Lens (2005).
Les JFPC sont issues de la fusion des conférences JFPLC (Journées
Francophones de la Programmation Logique avec Contraintes) nées en
1992 et des JNPC (Journées Nationales sur la Résolution Pratique de
Problèmes NP-Complets) nées en 1994. Avant cette fusion, le
rapprochement entre les deux communautés s'est traduit, depuis 1998,
par l'organisation conjointe des JFPLC et des JNPC : Angers (2004),
Amiens (2003), Nice (2002), Marseille (2000), Lyon (1999) et Nantes
(1998).
Soumission :
-----------
Les articles ne doivent pas dépasser 10 pages dans le style de la
conférence (www.lina.sciences.univ-nantes.fr/JFPC08/jfpc08/index.php?page=modalites-de-soumission).
Les articles peuvent être soumis en français ou en anglais, mais la
version finale devra être en français. Les soumissions se font par
voie électronique (http://www.easychair.org/conferences/?conf=jfpc2008).
Les travaux acceptés seront publiés dans les actes des journées et mis
à disposition sur le site de l'AFPC. Ils devront être présentés
oralement lors du congrès.
Pour éviter que les meilleurs travaux de la communauté francophone ne
soient uniquement présentés dans les congrès internationaux, le comité
de programme invite tout membre de la communauté soumettant ses
travaux à un congrès international à les soumettre parallèlement à
JFPC 2008. La condition sur l'écriture en langue française de la
version finale de l'article reste néanmoins valide.
Démonstrations de logiciels, applications :
------------------------------------------
Dans l'après-midi du mercredi 4 juin, une session permettra à des
industriels et à des chercheurs de présenter leurs logiciels et leurs
applications. Des stands seront mis à disposition pour y faire des
démonstrations. Les demandes de démonstration seront soumises avant
le 20 mai 2008 sous la forme d'un très court article (au format libre)
ou d'un poster contenant quelques copies d'écran :
www.lina.sciences.univ-nantes.fr/JFPC08/jfpc08/index.php?page=modalites-de-soumission
Jeunes chercheurs :
------------------
Un objectif des journées est de permettre aux jeunes chercheurs du
domaine de présenter leurs travaux à l'ensemble de la communauté
francophone. Aussi les étudiants en thèse sont-ils encouragés à
soumettre à la communauté leurs travaux en cours ; certains articles
décrivant des travaux partiellement aboutis mais portant des
perspectives intéressantes pourront être sélectionnés dans une session
spéciale « jeunes chercheurs ».
Comité de programme :
--------------------
Président et contact : Gilles Trombettoni, Université de Nice-Sophia, INRIA
trombe@sophia.inria.fr
Membres :
+ Philippe Baptiste, LIX Palaiseau
+ Nicolas Beldiceanu, EMN/LINA Nantes
+ Hachémi Bennaceur, CRIL Lens
+ Marco Benedetti, LIFO Orléans
+ Thierry Benoist, Bouygues Paris
+ Hadrien Cambazard, 4C Cork Irlande
+ Gilles Chabert, ENSIETA Brest
+ Philippe Chatalic, LRI Orsay
+ Emmanuel Coquery, LIRIS Lyon
+ Sophie Demassey, EMN/LINA Nantes
+ Romuald Debruyne, EMN/LINA Nantes
+ Yves Deville, UCL Louvain Belgique
+ Khalil Djelloul, LIFO Orléans
+ Mathieu Estratat, LIA Avignon
+ Arnaud Gotlieb, IRISA Rennes
+ Frédéric Goualard, LINA Nantes
+ Youssef Hamadi, Microsoft Research
+ Daniel Le Berre, CRIL Lens
+ Christophe Lecoutre, CRIL Lens
+ Olivier Lhomme, Ilog Sophia
+ Chu Min Li, LARIA Amiens
+ Bertrand Neveu, INRIA/ENPC Sophia
+ Cédric Pralet, Onera, Toulouse
+ Richard Ostrowski, LSIS Marseille
+ Philippe Refalo, Ilog Sophia
+ Louis-Martin Rousseau, polytechnique Montréal Canada
+ Michel Rueher, I3S Sophia
+ Frédéric Saubion, LERIA Angers
+ Sylvain Soliman, INRIA Rocquencourt
+ Michel Vasquez, EMA Nîmes
+ Stéphane Zampelli, UCL Louvain Belgique
+ Matthias Zytnicki, INRA Toulouse
Comité d'organisation :
----------------------
Présidente et contact : Charlotte Truchet, Laboratoire d'Informatique
de Nantes-Atlantique (LINA, FRE-2729)
Charlotte.Truchet@univ-nantes.fr
Vice-présidente : Catherine de Charette, EMN
Les JFPC sont organisées par l'équipe Contraintes du Lina avec le
concours de la DRITT de l'EMN.