[Caml-list] JFLA14 - Dernier appel à participation

[Christine Tasson <Christine.Tasson@pps.univ-paris-diderot.fr>]

      *** Appel à participation, Date limite d'inscription 15/12 ***


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

            Journées Francophones des Langages Applicatifs

              à Fréjus, du 8 janvier au 11 janvier 2014


Les incriptions aux JFLAs sont bientôt closes, veuillez trouver
ci-dessous la liste des exposés prévus. Nous espérons que vous serez
nombreux à participer à ces journées !


Dates importantes
-----------------
15 décembre 2014 : date limite d'inscription aux journées
8 au 11 janvier 2014 : journées

Cours et exposés invités
------------------------
   Olivier Danvy : Du calcul mathématique aux calculs informatiques.
   Christine Paulin : Modélisation de programme probabilistes en coq.

   Jean Krivine : Une sémantique pour la biologie moléculaire ?
          Quelques enjeux (et obstacles) pour l'informatique fondamentale.
   Xavier Leroy

   Guillaume Brunerie : HOmotopy Type Theory
   Catherine Lelay : Coq passe le bac

Articles acceptés (par ordre de soumission)
-------------------------------------------
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici and Damien Pous.
    Formal verification in Coq of program properties involving the 
global state effect
Sylvain Conchon, David Declerck, Luc Maranget and Alain Mebsout.
    Vérification de programmes C concurrents avec Cubicle : Enfoncer les 
barrières
Yoichi Hirai and Reynald Affeldt.
    What could Coq do for Database Software? ---A Progress Report
Louis Mandel and Cédric Pasteur.
    Exécution efficace de programmes ReactiveML
Bernard Serpette, Pascal Manoury and Emmanuel Chailloux.
    Unification des couleurs dans un $\lambda$-calcul polychrome
Adrien Husson.
    Une sémantique statique pour MongoDB
Adrien Guatto.
    Réseaux de Kahn à rafales et horloges entières
Martin Bodin, Thomas Jensen and Alan Schmitt.
    Pretty-big-step-semantics-based Certified Abstract Interpretation
Julien Signoles.
    Comment un chameau peut-il écrire un journal ?
Damien Pous and Alan Schmitt.
    De la KAM avec un Processus d’Ordre Supérieur
Marc Bagnol, Amina Doumane and Alexis Saurin.
    Analyse de dépendances et correction des réseaux de preuve
Pierre-Marie Pédrot and Alexis Saurin.
    Nécessité faite loi : de la réduction linéaire de tête à 
l'évaluation paresseuse

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.

Louis Mandel et Marc Pouzet. JFLA'05
   ReactiveML, un langage pour la programmation réactive en ML.
Sylvain Conchon et Jean-Christophe Filliâtre. JFLA'07
   Union-Find Persistant.
Sandrine Blazy, Benoît Robillard et Éric Soutif. JFLA'08
   Vérification formelle d'un algorithme d'allocation de registres par 
coloration de graphes.
Claude Marché et Asma Tafat. JFLA'13
   Calcul de plus faible précondition, revisité en Why3.


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 Pradalier     Dassault Systèmes
Julien Signoles     CEA LIST
Matthieu Sozeau     INRIA Paris -- Rocquencourt
Sylvain Pogodalla     Loria/INRIA Nancy

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