From: jayanta nath <jnath001@cs.fiu.edu>
To: <lardeux@info.univ-angers.fr>
Cc: <alp-diffusion@univ-lille1.fr>, <Bull_I3@univ-tln.fr>,
<AFPLC-BU@inria.fr>, <prog-logique@irisa.fr>,
<caml-list@pauillac.inria.fr>, <rewriting@ens-lyon.fr>
Subject: Re: [Caml-list] [JFPLC'04] Premier appel à publication
Date: Tue, 25 Nov 2003 13:01:22 -0500 (EST) [thread overview]
Message-ID: <3987.68.218.111.6.1069783282.squirrel@www.cs.fiu.edu> (raw)
In-Reply-To: <Pine.GSO.4.58.0311250959370.8586@helios.info-ua>
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
prev parent reply other threads:[~2003-11-25 18:01 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-11-25 9:15 jfplc2004
2003-11-25 18:01 ` jayanta nath [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3987.68.218.111.6.1069783282.squirrel@www.cs.fiu.edu \
--to=jnath001@cs.fiu.edu \
--cc=AFPLC-BU@inria.fr \
--cc=Bull_I3@univ-tln.fr \
--cc=alp-diffusion@univ-lille1.fr \
--cc=caml-list@pauillac.inria.fr \
--cc=lardeux@info.univ-angers.fr \
--cc=prog-logique@irisa.fr \
--cc=rewriting@ens-lyon.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox