From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 301CABB9C for ; Tue, 13 Sep 2005 18:01:33 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8DG1Wpc018600 for ; Tue, 13 Sep 2005 18:01:32 +0200 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 SAA19981; Tue, 13 Sep 2005 18:01:32 +0200 (MET DST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8DG1QqV007702 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 13 Sep 2005 18:01:26 +0200 Received: from spi.lip6.fr (spi.lip6.fr [132.227.83.193]) by isis.lip6.fr (8.13.1/jtpda-5.4+victor) with ESMTP id j8DG1PXY012644 ; Tue, 13 Sep 2005 18:01:25 +0200 X-pt: isis.lip6.fr Received: from [132.227.83.214] (muzelle.lip6.fr [132.227.83.214]) by spi.lip6.fr (8.11.6/jtpda-5.2) with ESMTP id j8DG1Kf14002 ; Tue, 13 Sep 2005 18:01:20 +0200 Mime-Version: 1.0 (Apple Message framework v734) Content-Transfer-Encoding: quoted-printable Message-Id: Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed To: caml-list@inria.fr, coq-club@pauillac.inria.fr, modulogic@modulogic.inria.fr From: Therese Hardin Subject: JFLA2006 Date: Tue, 13 Sep 2005 18:06:58 +0200 X-Mailer: Apple Mail (2.734) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-2.0b2 (isis.lip6.fr [132.227.60.2]); Tue, 13 Sep 2005 18:01:25 +0200 (CEST) X-Scanned-By: isis.lip6.fr X-Miltered: at concorde with ID 4326F7DC.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4326F7D6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; therese:01 therese:01 jfla:01 jfla:01 l'inria:01 basees:01 reecriture:01 agreable:01 semantiques:01 compilation:01 fonctionnels:01 semantique:01 compilation:01 paradigmes:01 formels:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 (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'2006 (http://jfla.inria.fr/) Journ=E9es Francophones des Langages Applicatifs Organis=E9es par l'INRIA 28-31 janvier 2006 JFLA'2006 est la dix-septi=E8me conf=E9rence francophone organis=E9e = autour =20 des langages applicatifs et des techniques de certification bas=E9es sur la d=E9monstration. Ces nouvelles journ=E9es se tiendront les 28-31 janvier 2006. Elles auront lieu =E0 la mer, =E0 Pauillac, =E0 proximit=E9 de Bordeaux. Toujours centr=E9e sur l'approche fonctionnelle de la programmation, la conf=E9rence souhaite cette ann=E9e =E9largir son spectre aux techniques = et outils 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 facilitant la communication; ces journ=E9es ont pour ambition de couvrir le domaine des langages applicatifs, en y incluant les apports d'outils d'autres domaines qui autorisent 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 concernant fortement 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. Orateurs invit=E9s ---------------- Paul Caspi (VERIMAG). Choukri Ben-Yell=E8s (IUT Valence). Comit=E9 de programme ------------------- Th=E9r=E8se Hardin, Pr=E9sident (LIP6, Universit=E9 Pierre et = Marie =20 Curie, Paris) Pierre-Etienne Moreau, Vice-Pr=E9sident (projet PROTHEO, LORIA) Pierre Casteran (LABRI) Christine Paulin (LRI, Universit=E9 d'Orsay) Renaud Rioboo (LIP6, UPMC) Xavier Urbain (CEDRIC, Institut d'Informatique d'Entreprise/=20 CNAM) Alan Schmitt (projet SARDES, INRIA Grenoble) Bernard Serpette (projet OASIS, INRIA Sophia-Antipolis) Fran=E7ois Pessaux (Soci=E9t=E9 SURLOG) Pierre-Yves Schobbens (Institut d'Informatique, Universit=E9 =20= de Namur) Sandrine Blazy-Darmon (CEDRIC, Projet CRISTAL-INRIA =20 Rocquencourt) Soumission ---------- Date limite de soumission : 10 octobre 2005 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/2006/actes.sty La soumission est uniquement =E9lectronique, selon la m=E9thode = d=E9taill=E9e =20 dans http://jfla.inria.fr/2006/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 2006'', =E0 l'adresse suivante : jfla2006@loria.fr Les intentions de soumission envoy=E9es le plus t=F4t possible =E0 = l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 10 octobre 2005 : Date limite de soumission 15 novembre 2005 : Notification aux auteurs 10 d=E9cembre 2005 : Remise des articles d=E9finitifs 15 janvier 2006 : Date limite d'inscription aux journ=E9es 28-31 janvier 2006 : Journ=E9es Pour tout renseignement, contacter ---------------------------------- Marie-Fran=E7oise Loubressac 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 : Marie-Francoise.Loubressac@inria.fr http://jfla.inria.fr/2006/