From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA11037; Tue, 25 Nov 2003 10:15:32 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA10956 for ; Tue, 25 Nov 2003 10:15:31 +0100 (MET) Received: from mail.info.univ-angers.fr (nes.info.univ-angers.fr [193.49.146.122]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAP9FU100851 for ; Tue, 25 Nov 2003 10:15:30 +0100 (MET) Received: from pollux.info-ua (pollux.info-ua [172.20.41.9]) by mail.info.univ-angers.fr (Postfix) with ESMTP id 2BC6DB54; Tue, 25 Nov 2003 10:15:30 +0100 (CET) Received: from helios.info-ua (helios.info-ua [172.20.41.5]) by pollux.info-ua (Postfix) with ESMTP id 613A42DAD2; Tue, 25 Nov 2003 10:15:30 +0100 (CET) Received: by helios.info-ua (Postfix, from userid 530) id C7CE5143C7; Tue, 25 Nov 2003 09:15:26 +0000 (MET) Received: from localhost (localhost [127.0.0.1]) by helios.info-ua (Postfix) with ESMTP id AF83C1DD1; Tue, 25 Nov 2003 10:15:26 +0100 (MET) Date: Tue, 25 Nov 2003 10:15:26 +0100 (MET) From: jfplc2004 X-X-Sender: lardeux@helios.info-ua To: 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: [Caml-list] =?ISO-8859-1?Q?=5BJFPLC'04=5D_Premier_appel_=E0_publication?= Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT X-Loop: caml-list@inria.fr X-Spam: no; 0.00; jfplc:01 2004:99 univ-angers:01 jfplc':01 univ-angers:01 jfplc:01 2004:99 francophones:01 treizieme:01 francophones:01 theoriques:01 soumissions:01 langages:01 semantique:01 statique:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk TREIZIÈMES JOURNÉES FRANCOPHONES DE PROGRAMMATION EN LOGIQUE ET DE PROGRAMMATION PAR CONTRAINTES 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 From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA22466; Tue, 25 Nov 2003 19:01:37 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA01942 for ; Tue, 25 Nov 2003 19:01:35 +0100 (MET) Received: from cs.fiu.edu (cheetah.cs.fiu.edu [131.94.130.107]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hAPI1Y103009 for ; Tue, 25 Nov 2003 19:01:34 +0100 (MET) Received: from cs.fiu.edu (IDENT:XGoCcSHE4GKX0O4cZXxZZiYuoFVHtdj7@leopard.cs.fiu.edu [131.94.130.219]) by cs.fiu.edu (8.12.10/FIU-CS-JF-1.3) with SMTP id hAPI1MXM012428; Tue, 25 Nov 2003 13:01:22 -0500 From: jayanta nath Received: from adsl-218-111-6.mia.bellsouth.net ([68.218.111.6]) (SquirrelMail authenticated user jnath001) by www.cs.fiu.edu with HTTP; Tue, 25 Nov 2003 13:01:22 -0500 (EST) Message-ID: <3987.68.218.111.6.1069783282.squirrel@www.cs.fiu.edu> Date: Tue, 25 Nov 2003 13:01:22 -0500 (EST) Subject: =?iso-8859-1?Q?Re:_[Caml-list]_[JFPLC'04]_Premier_appel_=E0_publication?= To: X-XheaderVersion: 1.1 In-Reply-To: References: X-Priority: 3 Importance: Normal Cc: , , , , , X-Mailer: SquirrelMail (version 1.2.11) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 jfplc':01 enrolled:99 miami:99 jfplc:01 2004.:99 jfplc:01 2004:99 univ-angers:01 2004:99 francophones:01 treizieme:01 francophones:01 theoriques:01 soumissions:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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. > TREIZIÈMES JOURNÉES > FRANCOPHONES DE PROGRAMMATION EN LOGIQUE ET DE PROGRAMMATION PAR > CONTRAINTES 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