[TYPES/announce] JFLA 2015 : deadline extension
David Baelde
david.baelde at lsv.ens-cachan.fr
Wed Sep 24 04:24:35 EDT 2014
(This message is intentionally written in French.)
* Merci de faire circuler : extension de date limite *
JFLA 2015 (http://jfla.inria.fr/2015/)
Journées Francophones des Langages Applicatifs
Organisées par Inria
au Val d'Ajol (Vosges) du 7 au 10 janvier 2015
Suite à des demandes de la part d'auteurs, nous repoussons d'une semaine
la date limite de soumission des articles et propositions d'exposés courts.
Attention, l'échéance pour les résumés reste la même: c'est ce vendredi.
Dates importantes
-----------------
26 septembre 2014 : date limite de soumission des résumés **INCHANGEE**
10 octobre 2014 : date limite de soumission des articles **ÉTENDUE**
3 novembre 2014 : notification aux auteurs
30 novembre 2014 : clôture des inscriptions
1er décembre 2014 : remise des articles définitifs
7 au 10 janvier 2015 : journées
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
promouvoir 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.
Enfin, un soutien financier pourra être apporté à certains étudiants
pour faciliter leur venue.
Il n'y a donc pas de raison de ne pas soumettre aux JFLA !
Cours et exposés invités
------------------------
. Stephan Merz (Inria Nancy & LORIA) : Vérification d'algorithmes distribués
. Manuel Serrano (Inria Sophia-Antipolis) : Programmation web en Hop
. Alastair Donaldson (Imperial College London) :
Verification techniques for GPU kernels
. Marco Gaboardi (University of Dundee) : Differential privacy
Comité de programme
-------------------
David Baelde LSV, ENS Cachan (Président)
Jade Alglave UCL (Vice-présidente)
Maria-Virginia Aponte CNAM
Sylvie Boldo Inria, LRI
Pierre Clairambault ENS Lyon
Delphine Demange IRISA, Université de Rennes 1
Kim Nguyen LRI, Université Paris-Sud 11
Florence Plateau Prove & Run
Christophe Raffalli LAMA, Université de Savoie
Julien Signoles CEA LIST
Pierre-Yves Strub IMDEA Software Institute
Jules Villard Imperial College London
Soumission
----------
Nous acceptons 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é)
tout particulièrement s'il s'agit de jeunes chercheurs. 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.
. 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 : 26 septembre 2014
Date limite de soumission des articles : 3 octobre 2014
Les soumissions doivent être déposées sur Easychair, à l'adresse
suivante :
https://www.easychair.org/conferences/?conf=jfla15
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/2015/actes.sty
More information about the Types-announce
mailing list