From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 37C7BBC6B for ; Mon, 9 Jul 2007 15:19:46 +0200 (CEST) Received: from [128.93.8.75] (bergerac.inria.fr [128.93.8.75]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l69DJjTq024350 for ; Mon, 9 Jul 2007 15:19:46 +0200 Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: quoted-printable Message-Id: Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed To: caml-list@yquem.inria.fr From: Sandrine Blazy Subject: =?ISO-8859-1?Q?JFLA'2008:_appel_=E0_communications?= Date: Mon, 9 Jul 2007 15:19:43 +0200 X-Mailer: Apple Mail (2.752.3) X-Miltered: at concorde with ID 469235F1.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; jfla:01 l'inria:01 reecriture:01 jfla:01 agreable:01 semantiques:01 compilation:01 fonctionnels:01 semantique:01 compilation:01 paradigmes:01 formels:01 fonctionnels:01 weis:01 fournet:01 (This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE =20 CIRCULER * PREMIER APPEL AUX COMMUNICATIONS PREMIER APPEL AUX COMMUNICATIONS JFLA'2008 (http://jfla.inria.fr/) Journ=E9es Francophones des Langages Applicatifs Organis=E9es par l'INRIA 26 au 29 janvier 2008 JFLA'2008 est la dix-neuvi=E8me conf=E9rence francophone organis=E9e =20= autour des langages applicatifs et des techniques de certification bas=E9es sur la d=E9monstration. Ces nouvelles journ=E9es se tiendront les 26 au 29 janvier 2008. Elles auront lieu =E0 la mer, tr=E8s probablement =E0 =C9tretat (ou pr=E8s d'=C9tretat), =E0 proximit=E9 de =ABLe = Havre=BB. Toujours centr=E9e sur l'approche fonctionnelle de la programmation, = la conf=E9rence =E9largit son spectre aux techniques et outils =20 compl=E9mentaires qui =E9l=E8vent le niveau de qualit=E9 des logiciels (syst=E8mes d'aide =E0 = la preuve, r=E9=E9criture, tests, d=E9monstration automatique, v=E9rification). Les JFLA r=E9unissent concepteurs et utilisateurs dans un cadre agr=E9able qui facilite la communication; ces journ=E9es ont pour =20 ambition de couvrir le domaine des langages applicatifs au sens large, en y =20 incluant les apports d'outils d'autres domaines qui permettent la construction de =20 syst=E8mes logiciels plus s=FBrs. L'enseignement de l'approche fonctionnelle du d=E9veloppement logiciel (sp=E9cification, s=E9mantiques, programmation, = =20 compilation, certification) est =E9galement un sujet qui concerne au plus haut point =20= les JFLA. C'est pourquoi des contributions sur les th=E8mes suivants sont particuli=E8rement recherch=E9es (liste non exclusive) : - Langages fonctionnels : s=E9mantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation. - Sp=E9cification, prototypage, d=E9veloppements formels d'algorithmes. - Utilisation industrielle des langages fonctionnels. - Assistants de preuve : impl=E9mentation, nouvelles tactiques, d=E9veloppements pr=E9sentant un int=E9ret technique ou = m=E9thodologique. - Enseignement dans ses aspects li=E9s =E0 l'approche fonctionnelle du d=E9veloppement. Les JFLA s'occupent avant tout d'articles de recherche originaux qui =20 apportent une r=E9elle nouveaut=E9. Toutefois, un article traitant d'un sujet qui =20= int=E9resse plusieurs disciplines sera examin=E9 avec soin, m=EAme s'il a =20 pr=E9alablement =E9t=E9 pr=E9sent=E9 =E0 une autre communaut=E9 sans rapport avec celle des = JFLA. Un article ayant =E9t=E9 traduit en fran=E7ais =E0 partir d'une = publication =20 r=E9cente en anglais sera examin=E9, =E0 condition que la traduction apporte de plus =20= un =E9l=E9ment nouveau. Les articles soumis aux JFLA sont relus par au moins 2 personnes =20 s'ils sont accept=E9s, 3 personnes s'ils sont rejet=E9s. Les critiques des relecteurs sont toujours bienveillantes et la =20 plupart du temps encourageantes et constructives, m=EAme en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Orateurs invit=E9s ---------------- Pierre Weis (INRIA). C=E9dric Fournet (Microsoft Research). Cours ----- Yves Bertot (INRIA). Renaud Rioboo (Lip6). Comit=E9 de programme ------------------- Sandrine Blazy, Pr=E9sident (CEDRIC, ENSIIE, =C9vry) Alan Schmitt, Vice-Pr=E9sident (INRIA Grenoble - Rh=F4ne-Alpes) Horatiu Cirstea (INRIA Nancy - Grand Est) Tom Hirschowitz (LIP, ENS Lyon) Mathieu Jaume (LIP6, Universit=E9 Paris 6) Delia Kesner (PPS, Universit=E9 Paris 7) Nicolas Magaud (LSIIT, Universit=E9 Louis Pasteur, Strasbourg) Marc Pouzet (LRI, Universit=E9 Paris-Sud) Laurence Rideau (INRIA Sophia Antipolis - M=E9diterran=E9e) Francesco Zappa Nardelli (INRIA Paris - Rocquencourt) Soumission ---------- Date limite de soumission : 8 octobre 2007 Les soumissions doivent =EAtre soit r=E9dig=E9es en fran=E7ais, soit pr=E9sent=E9es en fran=E7ais. Elles sont limit=E9es =E0 15 pages A4. Le = style latex est impos=E9 et se trouve sur le site WEB des journ=E9es =E0 = l'adresse suivante : http://jfla.inria.fr/2008/actes.sty La soumission est uniquement =E9lectronique, selon la m=E9thode = d=E9taill=E9e =20 dans http://jfla.inria.fr/2008/instructions-fra.html Les soumissions sont =E0 envoyer =E0 la pr=E9sidente du comit=E9 de = programme, avec pour titre de votre message ``SOUMISSION JFLA 2008'', =E0 l'adresse suivante : jfla2008@ensiie.fr Les intentions de soumission envoy=E9es le plus t=F4t possible =E0 = l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 8 octobre 2007 : Date limite de soumission 16 novembre 2007 : Notification aux auteurs 10 d=E9cembre 2007 : Remise des articles d=E9finitifs 14 janvier 2008 : Date limite d'inscription aux journ=E9es 26 au 29 janvier 2008 : Journ=E9es Pour tout renseignement, contacter ---------------------------------- Ga=EBlle Dorkeld INRIA Rocquencourt Bureau des Cours et Colloques (JFLA2003) Domaine de Voluceau - BP 105 78153 Le Chesnay Cedex T=E9l.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38 email : Gaelle.Dorkeld@inria.fr http://jfla.inria.fr/2008/ tion=