JFLA 2013

3 - 6 février 2013, Aussois

24e journées francophones des langages applicatifs

Objectifs

Les JFLA (prononcer gifla) ont pour ambition de couvrir le domaine des langages applicatifs c'est-à-dire, de façon large et dans le désordre, les langages ensemblistes, fonctionnels, parenthétiques, à objets ou acteurs, à la fois sur les plans théoriques (nouveaux langages ou dialectes, sémantique de nouveaux traits, compilation, interprétation etc.) et pratiques (utilisation de ces langages, implantation, gestion de mémoire, algorithmes distribués ou parallèles, mesure de performances, etc.)

Ces journées ont été créées avec plusieurs buts. En premier lieu, nous voulions resserrer les liens entre les divers acteurs de ces communautés qui partagent, malgré des aspects superficiels divergents, de larges pans communs qui les différencient tous en bloc des langages algorithmiques plus classiques. Les réunir dans un même lieu pendant deux jours pleins semblait idéal. En second lieu, nous souhaitions que ces journées ne soient pas trop élitistes, quoique de bon niveau, afin de permettre aux jeunes de s'exprimer et donc de s'entraîner à la rude compétition mondiale dans un cadre moins difficile. Une conséquence fut la prescription de la seule langue française (prescription légèrement atténuée depuis puisqu'on tolère qu'un conférencier s'exprime en anglais ou qu'il écrive en anglais s'il s'exprime en français). En troisième et dernier lieu, nous nous reconnaissons un rôle didactique et avons invité moult conférenciers de haut niveau à venir exposer leur enthousiasme.

 

Comité de programme

  • Damien Pous, CNRS -- ENS Lyon (Président)
  • Christine Tasson, PPS -- Université Paris Diderot (Vice présidente)
  • Jade Alglave, University of Oxford
  • David Baelde, LSV -- ENS Cachan
  • Pierre-Malo Deniélou, Royal Holloway, University of London
  • Pascal Fradet, Inria Grenoble Rhône-Alpes
  • Samuel Mimram, CEA Saclay
  • Yann Régis-Gianas, Université Paris VII
  • Matthieu Sozeau, Inria Paris -- Rocquencourt
  • Nicolas Tabareau, Inria inventeurs du monde numérique
  • Enrico Tassi, LIX -- École Polytechnique
  • Lionel Vaux, IML -- Université de la Méditerranée

 

Cours et exposés invités

Les cours proposés cette année sont:

  • Luc Maranget, Tester les modèles mémoire faibles en pratique,
  • Alexandre Miquel, Introduction à la réalisabilité classique,
  • Kim NGuyen, Programmation XML, de la théorie aux outils.

Les orateurs invités cette année sont:

  • Saferiver, Le projet LAFOSEC,
  • ANSSI, Langages et sécurité - généralités et cas des langages fonctionnels.