Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] JFLA 2011: 2eme appel aux communications
- Subject: [Frama-c-discuss] JFLA 2011: 2eme appel aux communications
- From: Julien.Signoles at cea.fr (Julien Signoles)
- Date: Thu, 16 Sep 2010 09:55:47 +0200
Hello, the above message is in French on purpose. Julien ====== * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME APPEL AUX COMMUNICATIONS JFLA'2011 (http://jfla.inria.fr/2011/) Journ?es Francophones des Langages Applicatifs Organis?es par l'INRIA 29 janvier au 1 f?vrier 2011 JFLA'2011 est la vingt deuxi?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 29 janvier au 1 f?vrier 2011. Elles auront lieu ? la montagne, ? La Bresse, ? proximit? de Mulhouse. 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 ---------------- Gilles Dowek (?cole Polytechnique) Fran?ois Pottier (INRIA Paris -- Rocquencourt) Cours ----- Yves Bertot (INRIA Sophia Antipolis -- M?diterran?e) Luc Maranget (INRIA Paris -- Rocquencourt) Comit? de programme ------------------- Sylvain Conchon, Pr?sident (Universit? Paris 11) Assia Mahboubi, Vice Pr?sidente (INRIA Saclay -- ?le-de-France) Sylvie Boldo (INRIA Saclay -- ?le-de-France) Roberto Di Cosmo (Universit? Paris 7) James Leifer (INRIA Paris -- Rocquencourt) Alexandre Miquel (ENS Lyon) David Pichardie (INRIA Rennes -- Bretagne Atlantique) Damien Pous (CNRS) Julien Signoles (CEA Saclay) Laurent Th?ry (INRIA Sophia Antipolis -- M?diterran?e) Soumission ---------- Date limite de soumission : 17 octobre 2010 Les articles admis aux JFLA seront l'objet d'une s?lection pour publication journal d'une version longue. Les actes des jfla seront remis aux participants durant la conf?rence. 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/2011/actes.sty La soumission doit ?tre r?alis?e ? l'aide du syst?me EasyChair http://www.easychair.org/conferences/?conf=jfla2011 Dates importantes ----------------- 17 octobre 2010 : Date limite de soumission 19 novembre 2010 : Notification aux auteurs 10 d?cembre 2010 : Remise des articles d?finitifs 14 janvier 2011 : Date limite d'inscription aux journ?es 29 janvier au 1 f?vrier 2011 : Journ?es Pour tout renseignement, contacter ---------------------------------- Ga?lle DORKELD INRIA Service IST Domaine de Voluceau - BP 105 78153 Le Chesnay cedex - France Tel : + 33 (0)1 39 63 56 00 - Fax : + 33 (0)1 39 63 56 38 email : Gaelle.DORKELD at inria.fr http://jfla.inria.fr/2011/
- Prev by Date: [Frama-c-discuss] problems with plugin-integration
- Next by Date: [Frama-c-discuss] RE : RE : problems with plugin-integration
- Previous by thread: [Frama-c-discuss] problems with plugin-integration
- Next by thread: [Frama-c-discuss] RE : RE : problems with plugin-integration
- Index(es):