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