caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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


      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;
as well as URLs for NNTP newsgroup(s).