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 autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id D7C19BBAF for ; Fri, 3 Oct 2008 16:38:13 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUDACfL5UjAXQIniGdsb2JhbACTYQEBARUiqD+BaA X-IronPort-AV: E=Sophos;i="4.33,356,1220220000"; d="sig'?scan'208";a="17629932" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 03 Oct 2008 16:36:41 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m93EaWrL026792 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 3 Oct 2008 16:36:39 +0200 X-IronPort-AV: E=Sophos;i="4.33,356,1220220000"; d="sig'?scan'208";a="15633086" Received: from charm.inrialpes.fr ([194.199.25.104]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 03 Oct 2008 16:36:39 +0200 Message-Id: From: Alan Schmitt To: caml-list@inria.fr Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-8--75738658" Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v929.2) Subject: JFLA 2009: dernier appel aux communications Date: Fri, 3 Oct 2008 16:36:36 +0200 X-Pgp-Agent: GPGMail d51 (Leopard) X-Mailer: Apple Mail (2.929.2) X-Miltered: at concorde with ID 48E62DF0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; schmitt:01 schmitt:01 jfla:01 jfla:01 l'inria:01 isere:01 reecriture:01 agreable:01 semantiques:01 compilation:01 semantique:01 compilation:01 paradigmes:01 formels:01 typee:01 X-Attachments: type="application/pgp-signature" name="PGP.sig" name="PGP.sig" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --Apple-Mail-8--75738658 Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable (This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE =20 CIRCULER * DERNIER APPEL AUX COMMUNICATIONS DERNIER APPEL AUX COMMUNICATIONS JFLA'2009 (http://jfla.inria.fr/) Journ=E9es Francophones des Langages Applicatifs Organis=E9es par l'INRIA 31 janvier au 3 f=E9vrier 2009 JFLA'2009 est la vingti=E8me conf=E9rence francophone organis=E9e autour = des langages applicatifs et des techniques de certification bas=E9es sur la d=E9monstration. Ces nouvelles journ=E9es se tiendront du 31 janvier au 3 f=E9vrier 2009. Elles auront lieu =E0 la montagne, =E0 Saint-Quentin sur Is=E8re, au pied du Vercors, =E0 = proximit=E9 =20 de Grenoble. Toujours centr=E9e sur l'approche fonctionnelle de la programmation, la conf=E9rence porte =E9galement sur les 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 = ambition =20 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 applicatifs : 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 applicatifs. - Assistants de preuve : impl=E9mentation, nouvelles tactiques, d=E9veloppements pr=E9sentant un int=E9r=EAt technique ou = m=E9thodologique. - Enseignement dans ses aspects li=E9s =E0 l'approche fonctionnelle du d=E9veloppement. Les JFLA cherchent avant tout des 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 un = =E9l=E9ment nouveau. Les articles soumis aux JFLA sont relus par au moins 2 personnes s'ils =20= 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 ---------------- Vincent Balat (Universit=E9 Paris 7): =AB Ocsigen : approche =20 fonctionnelle typ=E9e de la programmation Web. =BB Eduardo Gim=E9nez (Trusted Logic): =AB (Non communiqu=E9) =BB Cours ----- G=E9rard Huet (INRIA Paris-Rocquecourt): =AB Automates, transducteurs = et =20 machines d'Eilenberg applicatives dans la bo=EEte =E0 outils Zen. =20 Applications au traitement de la langue. =BB Assia Mahboubi (LIX, INRIA Saclay - =CEle-de-France): =AB Pr=E9sentation= =20 de SSRefelect =BB Comit=E9 de programme ------------------- Alan Schmitt, Pr=E9sident (LIG, INRIA Grenoble - Rh=F4ne-Alpes) Micaela Mayero, Vice-Pr=E9sidente (LIPN, Universit=E9 Paris 13) Boutheina Chetali (Gemalto) Sylvain Conchon (LRI, Universit=E9 Paris-Sud) David Delahaye (CEDRIC, CNAM) Hugo Herbelin (LIX, INRIA Saclay - =CEle-de-France) Didier Le Botlan (LAAS-CNRS, INSA de Toulouse) Jean-Vincent Loddo (LIPN, Universit=E9 Paris 13) Alexandre Miquel (PPS, Universit=E9 Paris 7) Davide Sangiorgi (Universit=E9 de Bologne) Soumission ---------- Date limite de soumission : 15 octobre 2008 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/2009/actes.sty La soumission est uniquement =E9lectronique, selon la m=E9thode = d=E9taill=E9e =20 dans http://jfla.inria.fr/2009/instructions.fr.html Les soumissions sont =E0 envoyer au pr=E9sident du comit=E9 de = programme, avec pour titre de votre message ``SOUMISSION JFLA 2009'', =E0 l'adresse suivante : alan.schmitt@inria.fr Les intentions de soumission envoy=E9es le plus t=F4t possible =E0 = l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 15 octobre 2008 : Date limite de soumission 21 novembre 2008 : Notification aux auteurs 10 d=E9cembre 2008 : Remise des articles d=E9finitifs 14 janvier 2009 : Date limite d'inscription aux journ=E9es 31 janvier au 3 f=E9vrier 2009 : Journ=E9es Pour tout renseignement, contacter ---------------------------------- INRIA Grenoble Rh=F4ne-Alpes Bureau des Cours-Colloques 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex - France Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06 email : colloques@inrialpes.fr http://jfla.inria.fr/2009/ --Apple-Mail-8--75738658 content-type: application/pgp-signature; x-mac-type=70674453; name=PGP.sig content-description: This is a digitally signed message part content-disposition: inline; filename=PGP.sig content-transfer-encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (Darwin) iD8DBQFI5i31NIAqM4hFUWgRAhu4AJ43eNFZmHgupOBaJ9od7nBlF+zqjQCfXZA+ CYYCuHqdrN1Q2hBD5UliiNc= =y4OZ -----END PGP SIGNATURE----- --Apple-Mail-8--75738658--