Cours et Colloques
TRAIT

JFLA 2014

du 8 au 11 janvier 2014, Fréjus

Hôtel de la manifestation Site de la manifestation

Les vingt cinquièmes journées francophones des langages applicatifs se tiendront à la Villa Clythia (CAES du CNRS) à Fréjus, à proximité de Saint Raphaël, dans le Var


** Le formulaire d'inscription est en ligne.**

(Date limite d'inscription le 15 décembre)

Frais d'inscriptions: 360 euros en chambre double/450 euros en chambre simple

Liste des papiers acceptés

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.

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.

Programme

Le programme détaillé (mais provisoire) est ici; pour les aspects pratiques:
  • accueil le mercredi 8 janvier à partir de 13h, premier exposé à 14h30.
  • fin du dernier exposé le samedi 11 janvier à 11h30, repas jusqu'à 14h.

Arriver à Fréjus

  • La gare la plus accessible est Saint Raphaël - Valescure.
    Nous mettrons en place une navette correspondant aux horaires de train suivants:
    • Mercredi 8 janvier, pour les trains arrivant à Saint Raphaël avant 12h30
    • Samedi 11 janvier, pour les trains partant de Saint Raphaël après 14h30
    Si vous arrivez à un autre horaire, vous pouvez prendre l'agglobus ligne 3.
  • En voiture: sur l'A48, prendre la sortie n°38 Fréjus.
    Télécharger le plan de route et le plan d'accès
  • Aéroports: Nice, Toulon, Marseille.
  • Ports: Genève, Marseille.

Soumissions

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, mais elles sont limitées à 15 pages A4 et le style LaTeX est imposé :
http://jfla.inria.fr/2014/actes.sty


Dates

  • 1er octobre 2013 : date limite de soumission des résumés
  • 10 octobre 2013 : date limite de soumission des papiers
  • 12 novembre 2013 : notification aux auteurs
  • 2 décembre 2013 : remise des articles définitifs
  • 15 décembre 2013 : clôture des inscriptions
  • 8 janvier au 11 janvier 2014 : journées

Soutien Financier : Date limite des demandes le 20 novembre 2013

Grâce au soutien des GDR, nous avons la possibilité de financer une partie des journées pour quelques étudiants ou jeunes chercheurs. Si vous en avez besoin, n'hésitez pas à rentrer en contact avec la présidente ou le vice-président dès que possible.

Comité de programme

Christine Tasson PPS -- Université Paris Diderot (Présidente)
David Baelde LSV -- ÉNS 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

Pour tout renseignement, contacter

Sophie Azzaro
Inria Grenoble Rhône-Alpes, Bureau des cours et colloques
655 Avenue de l'Europe, Montbonnot
38 334 St Ismier Cedex - France
Tel : +33 (0)4 76 61 52 51 - Fax : +33 (0)4 56 52 71 90
email : colloques@inrialpes.fr
http://jfla.inria.fr/2014/




Copyright © 1996 - 2012 Inria, tous droits réservés.
Last modified: Tue Sept 26 20:38:24 CEST 2013

LOGO Caml Alimenté par chameau Caml LOGO