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.9 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE 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 EB8A9BBAF for ; Sun, 20 Sep 2009 11:27:11 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlAEAH+StUrC/qMYgWdsb2JhbACQCwGKfgEBFiSyAYQbBYFY X-IronPort-AV: E=Sophos;i="4.44,418,1249250400"; d="scan'208";a="34619355" Received: from mail.lipn.univ-paris13.fr ([194.254.163.24]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Sep 2009 11:27:11 +0200 Received: from onyx.lipn.univ-paris13.fr (onyx.lipn.univ-paris13.fr [10.10.0.157]) by mail.lipn.univ-paris13.fr (sendmail 8.9.3/8.9.2) with ESMTP id 3895F22E15 for ; Sun, 20 Sep 2009 11:27:11 +0200 (CEST) Received: by onyx.lipn.univ-paris13.fr (Postfix, from userid 3053) id 1AC99183605; Sun, 20 Sep 2009 11:27:11 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by onyx.lipn.univ-paris13.fr (Postfix) with ESMTP id 0A86F183603 for ; Sun, 20 Sep 2009 11:27:11 +0200 (CEST) Date: Sun, 20 Sep 2009 11:27:11 +0200 (CEST) From: Micaela Mayero To: caml-list@yquem.inria.fr Subject: =?iso-8859-1?Q?JFLA_2009=3A_2=E8me_appel_aux_communications?= Message-ID: MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; boundary="168467712-1790972142-1253438725=:24950" Content-ID: X-Spam: no; 0.00; jfla:01 unreadable:01 mime-aware:01 jfla:01 l'inria:01 reecriture:01 agreable:01 semantiques:01 compilation:01 fonctionnels:01 semantique:01 compilation:01 paradigmes:01 formels:01 fonctionnels:01 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --168467712-1790972142-1253438725=:24950 Content-Type: TEXT/PLAIN; charset=iso-8859-1; format=flowed Content-Transfer-Encoding: 8BIT Content-ID: * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME APPEL AUX COMMUNICATIONS JFLA'2010 (http://jfla.inria.fr/2010/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 30 janvier au 2 février 2010 JFLA'2010 est la vingt et unième conférence francophone organisée autour des langages applicatifs et des techniques de certification basées sur la démonstration. Ces nouvelles journées se tiendront du 30 janvier au 2 février 2010. Elles auront lieu à la mer, à Vieux-Port La Ciotat, à proximité de Marseille. Toujours centrée sur l'approche fonctionnelle de la programmation, la conférence porte également sur les techniques et outils complémentaires qui élèvent le niveau de qualité des logiciels (systèmes d'aide à la preuve, réécriture, tests, démonstration automatique, vérification). Les JFLA réunissent concepteurs et utilisateurs dans un cadre agréable qui facilite la communication; ces journées ont pour ambition de couvrir le domaine des langages applicatifs au sens large, en y incluant les apports d'outils d'autres domaines qui permettent la construction de systèmes logiciels plus sûrs. L'enseignement de l'approche fonctionnelle du développement logiciel (spécification, sémantiques, programmation, compilation, certification) est également un sujet qui concerne au plus haut point les JFLA. C'est pourquoi des contributions sur les thèmes suivants sont particulièrement recherchées (liste non exclusive) : - Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation. - Spécification, prototypage, développements formels d'algorithmes. - Utilisation industrielle des langages fonctionnels et applicatifs. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. - Enseignement dans ses aspects liés à l'approche fonctionnelle du développement. Les JFLA cherchent avant tout des articles de recherche originaux qui apportent une réelle nouveauté. Toutefois, un article traitant d'un sujet qui intéresse plusieurs disciplines sera examiné avec soin, même s'il a préalablement été présenté à une autre communauté sans rapport avec celle des JFLA. Un article ayant été traduit en français à partir d'une publication récente en anglais sera examiné, à condition que la traduction apporte un élément nouveau. Les articles soumis aux JFLA sont relus par au moins 2 personnes s'ils sont acceptés, 3 personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Orateurs invités ---------------- Leslie Lamport (Microsoft): « Preuves et prouveur TLA+ » Christian Queinnec (Université Paris 6): « De la correction automatisée » Cours ----- Pierre Letouzey (Université paris 7): « (à venir) » Louis Mandel (Université Paris 11): « (à venir) » Comité de programme ------------------- Micaela Mayero, Présidente (Université Paris 13) Sylvain Conchon, Vice Président (Université Paris 11) Assia Mahboubi (INRIA Saclay) Alan Schmitt (INRIA Grenoble - Rhône-Alpes) Pierre Courtieu (CNAM Paris) Damien Pous (CNRS Grenoble) Bruno Barras (INRIA Saclay) Bernard Serpette (INRIA Sophia Antipolis - Méditerranée) Manuel Serrano (INRIA Sophia Antipolis - Méditerranée) Damien Doligez (INRIA Paris - Rocquencourt) Soumission ---------- Date limite de soumission : 15 octobre 2009 Les actes devraient être publiés soit au format LNCS chez Springer, soit dans le journal «Studia Informatica Universalis» chez Hermann. Les soumissions doivent être soit rédigées en français, soit présentées en français. Elles sont limitées à 15 pages A4. Le style latex est imposé et se trouve sur le site WEB des journées à l'adresse suivante : http://jfla.inria.fr/2010/actes.sty La soumission est uniquement électronique, selon la méthode détaillée dans http://jfla.inria.fr/2010/instructions.fr.html Les soumissions sont à envoyer au président du comité de programme, avec pour titre de votre message ``SOUMISSION JFLA 2010'', à l'adresse suivante : Micaela.Mayero [@] lipn.univ-paris13.fr Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 15 octobre 2009 : Date limite de soumission 20 novembre 2009 : Notification aux auteurs 10 décembre 2009 : Remise des articles définitifs 15 janvier 2010 : Date limite d'inscription aux journées 30 janvier au 2 février 2010 : Journées Pour tout renseignement, contacter ---------------------------------- INRIA Grenoble Rhône-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/2010/ --168467712-1790972142-1253438725=:24950--