Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] [JFPLC'04]_Premier_appel_à_publication
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: jfplc2004 <lardeux@i...>
Subject: [Caml-list] [JFPLC'04]_Premier_appel_à_publication
<A HREF="http://www.info.univ-angers.fr/jfplc2004">TREIZIÈMES JOURNÉES FRANCOPHONES DE PROGRAMMATION EN LOGIQUE ET DE PROGRAMMATION PAR CONTRAINTES</a>
Angers, France, du 21 au 23 Juin 2004

Co-localisées avec les journées JNPC 2004, JFPLC 2004, la treizième
édition des Journées Francophones de Programmation en Logique et de
programmation par Contraintes, fait suite aux précédentes rencontres qui
se sont tenues à Amiens (2003),  Nice (2002), Paris (2001), Marseille
(2000), Lyon (1999), Nantes (1998), Orléans (1997), Clermont-Ferrand
(1996), Dijon (1995), Bordeaux (1994), Nîmes (1993) et Lille (1992).

Les Journées Francophones de Programmation en Logique et de programmation
par Contraintes, patronnées par l?AFPLC, l'Association Française pour la
Programmation en Logique et la programmation par Contraintes, ont pour but
de faire le point sur les recherches récentes dans ces différents
domaines.

Les articles soumis pourront décrire :

    * des développements théoriques/pratiques de la (C)LP
    * des applications des technologies (C)LP
    * des activités pédagogiques autour de la (C)LP

Les soumissions concernant des applications et des activités pédagogiques
sont spécialement encouragées. Les travaux acceptés doivent être présentés
à la conférence par un des auteurs. Les actes de la conférence seront
publiés par Hermès.

THÈMES
Langages de programmation en logique ou par contraintes
        théorie et sémantique
        analyse statique
        conception et implantation de langages
        environnements de programmation
        parallélisme et concurrence
        ...
Applications
        problèmes combinatoires
        modélisation de problèmes réels
        systèmes de vérification basés sur le schéma (C)LP
        bases de données
        internet
        ...
Pédagogie
        description d'enseignements
        études de cas pédagogiques
        utilisation de la (C)LP
        rapports d'expériences
        ...
DATES IMPORTANTES
Envoi du résumé au plus tard le : 22 février 2004
Date limite de soumission : 29 février 2004
Notification aux auteurs : 5 avril 2004
Version définitive : 18 avril 2004
JFPLC 2004 & JNPC 2004 : 21-23 juin 2004

Le calendrier étant très serré, les dates ci-dessus doivent être
considérées comme fermes.
SOUMISSION

Les langues officielles de la conférence sont le français et l'anglais.
Pour éviter que les travaux de la communauté francophone ne soient
présentés et discutés uniquement dans les conférences internationales, le
comité de lecture invite tout membre de la communauté soumettant ses
travaux à une conférence internationale à cette période à les soumettre
parallèlement à JFPLC 2004. La seule condition  à cette double soumission
est que la version finale de l'article, s'il est accepté aux JFPLC et si
l'un des auteurs parle couramment le français, devra être rédigée en
français. La double soumission à JFPLC et JNPC n'est pas autorisée.

Afin de contribuer à la création d'une bibliothèque de matériel
pédagogique, les contributions à la session enseignement pourront prendre
la forme d'un tutoriel sur papier ou en ligne accompagné ou non
d'exercices dont on aura précisé le niveau, la durée et le nombre d'heures
de travail demandé.  Le sujet peut aller d'une introduction très générale
à un tutoriel très ciblé. Les tutoriaux acceptés pourraient être mis en
ligne sur le serveur de l'AFPLC.

Pour faciliter l'organisation, il est demandé d'envoyer un message en
ASCII contenant :

    * le titre,
    * les auteurs,
    * un résumé (même temporaire),
    * la catégorie (recherche, application, enseignement),
    * au plus tard le 22 février 2004 à Frederic.Mesnard@univ-reunion.fr

Pour les soumissions, il est demandé d'envoyer un message contenant :

    * les informations ci-dessus éventuellement mises à jour,
    * l'article dans un fichier attaché Postscript of PDF,
    * plus tard le 29 février 2004 à Frederic.Mesnard@univ-reunion.fr

Pour tout courriel, prière d?indiquer [jfplc04] dans le sujet.


RESPONSABLE DU COMITÉ DE LECTURE ET CONTACT

Fred Mesnard, IREMIA, université de La Réunion


COMITÉ DE LECTURE

Abder Aggoun, COSYTEC
Roberto Bagnara, Università degli studi di Parma
Pascal Brisset, ENAC
Veronica Dahl, université Simon Fraser
Pierre Deransart, INRIA Rocquencourt
Yves Deville, université catholique de Louvain
François Fages, INRIA Rocquencourt
Carmen Gervet, IC Parc
Isabelle Gnaedig, LORIA
Arnaud Gotlieb, IRISA
Jin-Kao Hao, université d'Angers
Narendra Jussien, École des mines de Nantes
François Laburthe, Bouygues
Arnaud Lallouet, université d'Orléans
Juliette Mattioli, Thales
Eric Monfroy, université de Nantes
Catuscia Palamidessi, INRIA Futurs
Laurent Perron, ILOG
Andreas Podelski, Max-Planck-Institut für Informatik
Alexander Serebrenik, Katholieke Universiteit Leuven
Christine Solnon, université de Lyon

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners