[Caml-list] [JFPLC'04] Premier appel à publication

[Caml-list] [JFPLC'04] Premier appel à publication

[jfplc2004]

<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

Re: [Caml-list] [JFPLC'04] Premier appel à publication

[jayanta nath]

Greetings to Everybody!

I am Jayanta Kumar Nath,enrolled in the doctoral program in Computer
Science at Florida International university, Miami, Florida, USA. My
principal areas of interest are Programming Languages and Software
Engineering. I have joned this OCaml list very recently.

I would like to explore the possibilities of submitting a research paper
to JFPLC 2004. I was wondering whether I could get the English version of
the Call for Papers. I also humbly request the respected program committee
members to kindly allow submissions in English as well.

Waiting for a kind,prompt response from any of the JFPLC 2004 committee
members.

Regards,
Jayanta Kumar Nath.

> <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



-------------------
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