navigation

 



Président des journées

  P. Deransart INRIA, FRA

Pdt. du comité de programme

  Ph. Codognet U. Paris 6, FRA

Comité de programme

H. Ait-Kaci Simon Fraser U., CA
K. Apt CWI, NL
C. Bessière LIRMM, FRA
Y. Caseau Bouyges, FRA
A. Colmerauer U. Marseille, FRA
V. Danos CNRS, FRA
P. Deransart INRIA, FRA
G. Dowek INRIA, FRA
G. Ferrand U. Orléans, FRA
F. Fages INRIA, FRA
J-K. Hao U. Angers, FRA
P. Jegou LIM, FRA
F. Mesnard U. La Réunion, FRA
E. Monfroy U. Nantes, FRA
A. Podelski MPI, D
J-F. Puget ILOG, FRA
P. Van Hentenryck Brown, USA

Comité d'organisation

A. Aggoun Cosytec
F. Barbara INRIA, FRA
C. Demars INRIA
A. Ed-Dbali, U. Orléans
E. Coquery, INRIA
S. Craciunescu, INRIA
A. Theis-Viemont INRIA

Renseignements

jfplc2001@inria.fr

 

Dates importantes

Résumé 08 Jan 2001
Soumission 08 Jan 2001
Acceptation 10 Fév 2001
Version finale 05 Mar 2001

Sponsors


 





 


Appel disponible également en version ps et pdf.

Les journées francophones de programmation logique et programmation par contraintes, patronnées par l'AFPLC (Association Française pour la Programmation Logique et par Contraintes), sont organisées cette année conjointement avec le congrès inaugural de l'ASTI (Association Française des Sciences et Technologies de l'Information), ont pour but de faire le point sur les recherches récentes dans ces différents domaines avec une attention particulière sur les inter-relations entre les multiples aspects qui composent la programmation logique, la programmation par contraintes et les domaines d'application. JFPLC'2001 fait suite aux précédentes rencontres qui se sont tenues à Marseille (2000), Lyon (99), Nantes (98), Orléans (97), Clermont-Ferrand (96), Dijon (95), Bordeaux (94), Nîmes (93) et Lille (92).


Le programme de la conférence inclura des conférences invitées, la présentation de papiers référés, des présentations de posters et démonstrations (appel ultérieur), des sessions communes avec d'autres conférences et une exposition.

Les actes de la conférence seront publiés par Hermès. Les langues officielles des journées sont le français et l'anglais.


Un prix sera décerné au meilleur article présenté par un ou plusieurs jeunes chercheurs (aucun auteur n'ayant soutenu sa thèse avant le 31 décembre 2000). Si ces conditions sont remplies, le spécifier impérativement lors de la soumission.


Thèmes. Les articles pourront être soumis sur tout domaine théorique et expérimental relevant de la programmation logique et/ou par contraintes. Les thèmes possibles sont les suivants (liste non limitative) :

· Programmation logique · Méthodologie
· Programmation par contraintes · Problèmes de satisfaction de contraintes
· Résolution de contraintes et optimisation · Problèmes sur-contraints
· Fondements logiques · Méthodes de recherche locale
· Théorie et sémantique · Programmation logique inductive
· Bases de données avec contraintes · Analyse statique
· Bases de données déductives · Environnements de programmation
· Parallélisme et Concurrence · Conception et implantation de langages
· Applications  



Soumissions. Les articles ne doivent pas dépasser 15 pages dans le style fourni sur la page web des journées ou sur simple demande aux organisateurs. Les articles soumis ne doivent pas avoir été déjà publiés dans un journal ou une conférence. Les travaux acceptés doivent être présentés à la conférence.


Les soumissions électroniques sont fortement encouragées et doivent être envoyées avant le 8 janvier 2001 sous la forme d'un fichier Postcript standard, télé-déposé à partir de l'URL http://conference.inria.fr/jfplc2001. De plus amples détails sont disponibles sur les pages web de la conférence.

Un résumé est à déposer au même URL (http://conference.inria.fr/jfplc2001) et avant le 8 janvier 2001 avec le titre, les auteurs, les mot-clés ainsi que les adresses postale et électronique, les numéros de téléphone et de fax de l'auteur responsable.


Dans le cas où une soumission électronique est impossible, envoyer dans les mêmes délais six copies de l'article à :

JFPLC'2001
LIP6, case 169
Université de Paris 6
8, rue du Capitaine Scot
75015 Paris - France.



Le premier colloque de l'ASTI (Association Française des Sciences et Technologies de l'Information), ASTI'2001, réunit 15 manifestations en un même lieu organisées par les associations fondatrices, avec une journée commune le 25 avril. Il constituera une occasion unique de rencontres et d'échanges avec des partenaires académiques ou industriels. Pour toute information sur l'ASTI et le colloque : http://asti.asso.fr/asti2001


Toutes informations
http://contraintes.inria.fr/jfplc2001

 

line
© INRIA (pour toute question ou suggestion sur le site écrire à A. ED-DBALI)

Informations pratiques (Hôtels, Restos, Transports, ...)Appel à démos et postersBulletin d'inscriptionNouveautés sur le siteAccueilWelcomeRésumés des communicationsConférenciers invitésInstructions aux auteursComité de programme et d'organisationProgramme scientifiqueAppel à communications Lieu de la conférence coordonnées