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.8 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 50729BB84 for ; Wed, 16 Jul 2008 10:19:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAExMfUjAXQIn/2dsb2JhbACwRQ X-IronPort-AV: E=Sophos;i="4.30,372,1212357600"; d="sig'?scan'208";a="15151859" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Jul 2008 10:19:52 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6G8Jinp003014 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 16 Jul 2008 10:19:52 +0200 X-IronPort-AV: E=Sophos;i="4.30,372,1212357600"; d="sig'?scan'208";a="27365341" Received: from n33d144.cs.unibo.it ([130.136.33.144]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 16 Jul 2008 10:19:52 +0200 Message-Id: <613D7F0E-D2D1-43DB-BBBD-BD06C65BCE47@polytechnique.org> From: Alan Schmitt To: caml-list@inria.fr Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-10--481497405" Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v928.1) Subject: JFLA 2009: 1er appel aux communications Date: Wed, 16 Jul 2008 10:19:47 +0200 X-Pgp-Agent: GPGMail d51 (Leopard) X-Mailer: Apple Mail (2.928.1) X-Miltered: at concorde with ID 487DAF20.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-10--481497405 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 * PREMIER APPEL AUX COMMUNICATIONS PREMIER 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, tr=E8s probablement =E0 Saint-Quentin sur Is=E8re, au pied du Vercors, =E0 proximit=E9 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= =20 qui facilite la communication; ces journ=E9es ont pour ambition de couvrir = le domaine des langages applicatifs au sens large, en y incluant les =20 apports d'outils d'autres domaines qui permettent la construction de syst=E8mes logiciels plus s=FBrs. L'enseignement de l'approche fonctionnelle du d=E9veloppement logiciel (sp=E9cification, s=E9mantiques, programmation, compilation, certification) est =E9galement un sujet qui concerne au =20 plus haut point les JFLA. C'est pourquoi des contributions sur les th=E8mes suivants sont =20 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, =20 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 cherchent avant tout des articles de recherche originaux qui apportent une r=E9elle nouveaut=E9. Toutefois, un article traitant d'un =20= sujet qui int=E9resse plusieurs disciplines sera examin=E9 avec soin, m=EAme s'il = a pr=E9alablement =E9t=E9 pr=E9sent=E9 =E0 une autre communaut=E9 sans = rapport avec =20 celle des JFLA. Un article ayant =E9t=E9 traduit en fran=E7ais =E0 partir d'une =20= publication r=E9cente en anglais sera examin=E9, =E0 condition que la traduction = apporte =20 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): "Ocsigen : approche =20 fonctionnelle typ=E9e de la programmation Web." Eduardo Gim=E9nez (Trusted Logic). Cours ----- G=E9rard Huet (INRIA Paris-Rocquecourt): "Automates, transducteurs et = =20 machines d'Eilenberg applicatives dans la bo=EEte =E0 outils Zen. = Applications =20 au traitement de la langue." Assia Mahboubi (LIX, INRIA Saclay - =CEle-de-France): "Pr=E9sentation = de SSRefelect." 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 dans http://jfla.inria.fr/2009/instructions-fra.html Les soumissions sont =E0 envoyer au pr=E9sident du comit=E9 de = programme, avec pour titre de votre message ``SOUMISSION JFLA 2008'', =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 --Apple-Mail-10--481497405 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) iD8DBQFIfa8jNIAqM4hFUWgRAhkKAJ0faOMA7rwGfu9S9DX1gRAJLc0UIQCdEsmC Mlo/hrcFohH+9BDaBYESZ/g= =BmKn -----END PGP SIGNATURE----- --Apple-Mail-10--481497405--