JFLA 2014
8 - 11 février 2014, Fréjus
25e 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.
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
- Christine Tasson, PPS -- Université Paris Diderot (Présidente)
- David Baelde, LSV -- ENS Cachan(Vice président)
- Jade Alglave, University College of London
- Zaynah Dargaye, CEA LIST
- Jean-Christophe Filliâtre CNRS -- Université Paris Sud
- Pascal Fradet, INRIA Grenoble Rhône-Alpes
- Jacques Garrigue, Nagoya University
- Barbara Petit, INRIA Grenoble Rhône Alpes
- Sylvain Pogodalla, Loria/INRIA Nancy
- Sylvain Pradalier, Dassault Systèmes
- Julien Signoles, CEA LIST
- Matthieu Sozeau, INRIA Paris -- Rocquencourt
25 ans des JFLA
À l'occasion de ce quart de siècle, les comités de programme et de pilotage ont choisi quatre contributions marquantes parmi les articles publiés aux JFLA ces dix dernières années.
- ReactiveML, un langage pour la programmation réactive en ML. Louis Mandel et Marc Pouzet. JFLA'05
- Union-Find Persistant. Sylvain Conchon et Jean-Christophe Filliâtre. JFLA'07
- Vérification formelle d'un algorithme d'allocation de registres par coloration de graphes. Sandrine Blazy, Benoît Robillard et Éric Soutif. JFLA'08
- Calcul de plus faible précondition, revisité en Why3. Claude Marché et Asma Tafat. JFLA'13
Ils seront présentés et mis en perspectives lors d'une session anniversaire.
Cours et exposés invités
Les cours proposés cette année seront donnés par:
- Olivier Danvy, Du calcul mathématique aux calculs informatiques,
- Christine Paulin, Modélisation de programme probabilistes en coq,
Les orateurs invités cette année sont:
- Jean Krivine, Une sémantique pour la biologie moléculaire ? Quelques enjeux (et obstacles) pour l'informatique fondamentale,
- Xavier Leroy
Deux jeunes orateurs sont aussi invités cette année:
- Catherine Lelay, Coq passe le bac,
- Guillaume Brunerie, Homotopy Type Theory,