*** Appel à participation, merci de diffuser largement ***


              JFLA'2013 (http://jfla.inria.fr/2013/)

          Journées Francophones des Langages Applicatifs

            à Aussois, du 3 février au 6 février 2013


Les incriptions aux JFLAs sont désormais ouvertes, veuillez trouver
ci-dessous la liste des exposés prévus. Nous espérons que vous serez
nombreux à participer à ces journées ; inscrivez-vous dès que possible!


Dates importantes
-----------------
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


Cours et exposés invités
------------------------

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''.
Saferiver: ``Le projet LAFOSEC''.
ANSSI: ``Langages et sécurité - généralités et cas des langages
         fonctionnels''.

Articles acceptés
-----------------

Claude Marché et Asma Tafat.
   Calcul de plus faible précondition, revisité en Why3
Sylvain Conchon, Alain Mebsout et Fatiha Zaidi.
   Vérification de systèmes paramétrés avec Cubicle
Pierre-Evariste Dagand et Conor McBride.
   Elaborating Inductive Definitions
Guillaume Cano et Maxime Dénès.
   Matrices à blocs et en forme canonique
Jean-Christophe Filliatre et Rémy El Sibaïe.
   combine : une bibliothèque OCaml pour la combinatoire
Martin Bodin et Alan Schmitt.
   A Certified JavaScript Interpreter
Nicolas Tabareau, Éric Tanter et Ismael Figueroa.
   Anti-Unification with Type Classes
Allyx Fontaine et Akka Zemmari.
   Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste
   résolvant le Problème du Rendez-Vous
Michel Mauny et Benoit Vaugon.
   OCamlCC -- Traduire OCaml en C en passant par le bytecode
   (accepté sous conditions)
Pierre-Marie Pédrot.
   Un régime au concentré d'automate
Louis Mandel et Cédric Pasteur.
   Réactivité des systèmes coopératifs : le cas de ReactiveML
Christophe Deleuze.
   Concurrence légère en OCaml : muthreads
Tom Gundersen, Willem Heijltjes et Michel Parigot.
   An Atomic Lambda Calculus
Michele Alberti.
   Normal Forms for the Algebraic Lambda-Calculus


Exposés courts
--------------

Pierre Castéran, Vincent Filou et Allyx Fontaine.
   Formalisation en Coq des systèmes de calculs locaux
Carle Patrice, Christine Choppy, Romain Cyril Kervarc et Ariane Piel.
   Behaviour recognition for complex systems



Comité de programme
-------------------

Damien Pous, Président (CNRS -- ENS Lyon)
Christine Tasson, Vice présidente (PPS -- Université Paris Diderot)
Jade Alglave (University of Oxford)
David Baelde (ITU Copenhague)
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 Nantes)
Enrico Tassi (LIX -- École Polytechnique)
Lionel Vaux (IML -- Université de la Méditerranée)


Pour tout renseignement d'ordre administratif, 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/