Huitièmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets - JNPC'2002

du 27 au 29 mai 2002

Nice, France

JNPC'2002, la huitième édition des Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, fait suite aux précédentes rencontres qui se sont tenues à Montpellier (1994), Dijon (1996), Rennes (1997), Nantes (1998), Lyon (1999), Marseille (2000), et Toulouse (2001)(2001). JNPC'2002 a lieu à Nice du 27 au 29 mai 2002 conjointement avec les onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002).

Ces journées nationales sont le lieu convivial de rencontres, de discussions et d'échanges pour la communauté des chercheurs et praticiens impliqués dans la résolution pratique de problèmes NP-complets tels que :

• SAT (satisfiabilité d'une expression booléenne),
• CSP (problèmes de satisfaction de contraintes),
• Optimisation dans les graphes (coloration, clique...),
• Sac-à-dos multidimensionnel
• Voyageur de commerce,
• Affectation quadratique,
• PLNE (programmation linéaire en nombre entiers)...

et plus généralement, des problèmes combinatoires de satisfaction et d'optimisation discrète sous contraintes, apparaissant par exemple dans les applications

• de planification d'actions,
• de gestion du temps et des ressources,
• de conception de systèmes,
• de reconnaissance de situations,
• de vérification des propriétés d'un système...

provenant des secteurs classiques (énergie, gestion, ingénierie, industrie spatiale, production, transports, télécommunications...) ou émergents (bioinformatique, fouille de données, Internet, réseaux cellulaires...).

DATES IMPORTANTES

• 20 02 2002 : Date limite de réception des soumissions.
• 25 mars 2002 : Notification aux auteurs
• 8 avril 2002 : Réception des versions définitives des articles
• 27 au 29 mai 2002 : JNPC2002

APPEL A COMMUNICATION

Des présentations sont donc attendues sur des aspects aussi divers que

• les algorithmes de résolution générique ou spécifique, complets ou incomplets,
• l'hybridation d'algorithmes existants,
• la proposition de cadres génériques de représentation, d'extension ou de restriction de cadres existants, d'utilisation conjointe de plusieurs cadres de représentation,
• la proposition de langages de modélisation,
• la caractérisation de problèmes (relations entre problèmes, sous-problèmes polynomiaux, ...),
• l'étude de paysages de recherche,
• la présentation de résultats théoriques ou expérimentaux relatifs à la complexité,
• la réponse à des requêtes non standard (ensemble de solutions, explications d'incohérences ...)
• la présentation d'études de cas et de bilans d'utilisation d'algorithmes et d'outils,
• des réponses aux problèmes de mise en oeuvre dans des contextes particuliers (incertains, dynamiques, temporellement contraints, interruptibles, distribués, interactifs, ...).

Seront particulièrement appréciées les communications tournées vers les aspects pratiques de la résolution, tels que :

• la modélisation et la résolution de problèmes réels non académiques,
• les performances d'algorithmes en terme de temps de calcul et de qualité des solutions fournies.

À cet égard, les communications émanant de chercheurs travaillant dans un cadre industriel, ou qui présentent d'un point de vue scientifique des outils industriels actuels ou en projet, sont encouragées.

MODALITES DE SOUMISSION

Pour éviter que les meilleurs travaux de la communauté française ne soient présentés et discutés uniquement hors de France, dans les grandes conférences internationales d'Intelligence Artificielle ou de Recherche Opérationnelle, le Comité de Programme invite tout membre de la communauté soumettant ses travaux à une conférence internationale, à les soumettre parallèlement à JNPC'2002. La seule condition à cette double soumission est que l'article, si accepté à JNPC'2002, soit écrit en français (langue officielle des journées) pour la version finale. Les jeunes chercheurs du domaine sont spécialement encouragés à soumettre leurs travaux à la communauté.

Les articles soumis (entre 10 et 15 pages selon le modèle article en Latex) sont à envoyer par émail à : Jin-Kao.Hao@univ-angers.fr et doivent suivre la convention suivante :

Dans le cas oł un envoi électronique ne serait pas possible, quatre exemplaires de l'article doivent être envoyés par la poste à :

CRITERES D'ACCEPTATION ET PUBLICATION

Les propositions seront jugées par au moins deux relecteurs, membres du comité de programme ou personnalités extérieures à ce comité en fonction des critères habituels tels que l'originalité (nouveauté du sujet, de la synthèse, caractère innovant des résultats), l'importance de la contribution (intérêt du sujet, avancée par rapport à l'état de l'art, pertinence des applications), la qualité scientifique et technique (validité scientifique, pertinence des démonstrations et/ou des réalisations, justification des idées et des solutions proposées, évaluation des forces et limitations de la contribution), et la qualité de la rédaction (clarté de l'exposé, de sa structure et du style, mention de l'état de l'art, des motivations et des contributions originales).

Tous les articles retenus par le comité de programme seront publiés dans les actes des journées. Il est également envisagé de publier après la conférence une sélection des travaux originaux dans une revue internationale ou dans un ouvrage si la qualité de tels travaux le permet.