Cours et Colloques
TRAIT

JFLA 2013

du 3 au 6 février 2013, Aussois

Hôtel de la manifestation Site de la manifestation

Les vingt quatrièmes journées francophones des langages applicatifs se tiendront à Aussois, à proximité de Modane, Chambéry, dans le centre Paul-Langevin (CAES du CNRS).


Liste des papiers acceptés

Programme et transparents

Le programme détaillé et les transparents sont ici; pour les aspects pratiques:
  • accueil le dimanche 3 février à partir de 15h, premier exposé à 16h.
  • fin du dernier exposé le mercredi 6 février à 12h30, repas jusqu'à 14h.

Arriver à Aussois

  • La gare la plus proche est celle de Modane.
    Nous mettrons en place une navette correspondant aux horaires de train suivants:
    • Dimanche 3 février, pour le train arrivant à Modane à 14h40
    • Mercredi 6 février, pour le train partant de Modane à 16h26
  • En voiture: Chambéry, vallée de la Maurienne, autoroute A43 jusqu'à Modane (Le Freney), Aussois. Le centre est ici.
  • Aéroports: Annecy, Lyon, Turin, Genève, Chambéry.
  • Ports: Genève, Marseille.

Actes en ligne

Ils sont disponibles ici (pour les transparents fournis par certains intervenants, veuillez consulter la page du programme).

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''.

Appel à communication

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 !

Nous accepterons cette année deux types de soumissions :

  • article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontier 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 prototype, faire une 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.


Dates importantes

  • 19 12 octobre 2012 : date limite de soumission
  • 22 16 novembre 2012 : notification aux auteurs
  • 31 décembre 2012 : remise des articles définitifs
  • 15 janvier 2013 : augmentation des tarifs d'inscription
  • 25 janvier 2013 : date limite d'inscription aux journées
  • 3 février au 6 février 2013 : journées

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

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/2013/




Copyright © 1996 - 2012 Inria, tous droits réservés.
Last modified: Mon Apr 15 20:38:24 CEST 2013

LOGO Caml Alimenté par chameau Caml LOGO