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 2014 - Denier appel et nouvelles dates de soumission
- Subject: [Frama-c-discuss] JFLA 2014 - Denier appel et nouvelles dates de soumission
- From: Christine.Tasson at pps.univ-paris-diderot.fr (Christine Tasson)
- Date: Thu, 26 Sep 2013 08:07:21 +0200
* Merci de faire circuler : deuxi?me appel ? communication * JFLA'2014 (http://jfla.inria.fr/2014/) Journ?es Francophones des Langages Applicatifs Organis?es par l'INRIA, Villa Clythia ? Fr?jus - Var, du 8 janvier au 11 janvier 2014 Nouvelles Dates --------------- *1er octobre 2013 : Soumission des R?sum?s sur Easychair *10 octobre 2013 : Soumission des Articles sur Easychair 12 novembre 2013 : Notification des auteurs 2 d?cembre 2013 : Remise des articles d?finitifs 10 d?cembre 2013 : Date limite d'inscription aux journ?es 8 janvier au 11 janvier 2014 : Journ?es Gr?ce au soutien des GDR, nous avons la possibilit? de financer une partie des journ?es pour quelques ?tudiants ou jeunes chercheurs. N'h?sitez pas ? rentrer en contact avec la pr?sidente ou le vice-pr?sident d?s que possible. -------------------------------------------------------------------- Les JFLA r?unissent concepteurs, utilisateurs et th?oriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, et des objets math?matiques qui sous-tendent ces outils. Ces domaines doivent ?tre pris au sens large : nous souhaitons avant tout favoriser les ponts entre les diff?rentes th?matiques : . Langages fonctionnels et applicatifs : s?mantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : impl?mentation, nouvelles tactiques, d?veloppements pr?sentant un int?r?t technique ou m?thodologique. . Logique, correspondance de Curry-Howard, r?alisabilit?, extraction de programmes, mod?les. . Sp?cification, prototypage, d?veloppements formels d'algorithmes. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des m?thodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont accept?s, trois 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 ! Cours et conf?renciers invit?s ------------------------------ Olivier Danvy Jean Krivine Xavier Leroy Christine Paulin Comit? de programme ------------------- Christine Tasson, Pr?sidente (Universit? Paris Diderot) David Baelde, Vice-pr?sident (?NS Cachan) Jade Alglave (University College of London) Zaynah Dargaye (CEA LIST) Jean-Christophe Filli?tre (CNRS -- Universit? Paris Sud) Pascal Fradet (INRIA-Rhones Alpes) Jacques Garrigue (Nagoya University) Barbara Petit (INRIA-Rhones Alpes) Sylvain Pradalier (Dassault Syst?mes) Julien Signoles (CEA LIST) Matthieu Sozeau (INRIA Paris--Rocquencourt) Sylvain Pogodalla (Loria/INRIA Nancy) Soumission ---------- Nous accepterons cette ann?e deux types de soumissions : . article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontiers des travaux en cours (pour lesquels l'aspect recherche n'est pas enti?rement termin?) ; dans tous les cas, la forme de l'article devra ?tre soign?e. Les articles s?lectionn?s seront publi?s dans les actes de la conf?rence, les auteurs seront invit?s ? faire une pr?sentation en vingt-cinq minutes lors des journ?es. . proposition d'expos? court (dix minutes) pour d?crire un prototype, faire la d?monstration d'un outil, reparler d'un article d?j? publi?, rechercher de l'aide pour r?soudre un probl?me particulier. Dans ce cas, nous vous demandons seulement de soumettre un r?sum? de deux ? trois pages, qui nous permettra de s?lectionner les orateurs en cas de forte affluence. Date limite de soumission des r?sum?s : 1er octobre 2013 -------------------------------------------------------- Les soumissions doivent ?tre d?pos?es sur Easychair, ? l'adresse suivante : https://www.easychair.org/conferences/?conf=jfla2014 Elles peuvent ?tre r?dig?es en anglais. Elles sont limit?es ? 15 pages A4 et le style LaTeX est impos? : http://jfla.inria.fr/2014/actes.sty Merci de signaler vos intentions de soumissions au plus t?t, par email ? la pr?sidente du comit? de programme.
- Prev by Date: [Frama-c-discuss] Assigns clause
- Next by Date: [Frama-c-discuss] Gappa prover installation
- Previous by thread: [Frama-c-discuss] Assigns clause
- Next by thread: [Frama-c-discuss] Gappa prover installation
- Index(es):