Appel a participation

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

             Journées Francophones des Langages Applicatifs
                      Organisées par l'INRIA

                      30 janvier au 2 février 2010

Le programme des 21èmes JFLA est maintenant établi; vous trouverez auprès du 
site des journées http://jfla.inria.fr/2010/ tout renseignement nécessaire à 
votre inscription.

Micaela Mayero

*Programme JFLA 2010*

Premier jour: 30 janvier 2010
- 12h30 - 14h00 Cocktail de bienvenue puis déjeuner
- 15h00 - 15h30 Accueil - Présentation
- 15h30 - 17h00 Cours par Louis Mandel: Reactive ML
- 17h00 - 17h30 Pause café
- 17h30 - 19h00 Cours par Pierre Letouzey: De Coq à ML : l'extraction de
                   programmes - 19h00         Dîner

Deuxième jour: 31 janvier 2010
- 09h00 - 10h30 Cours par Louis Mandel: Reactive ML
- 10h30 - 11h00 Pause café
- 11h00 - 12h30 Cours par Pierre Letouzey: De Coq à ML : l'extraction de
                   programmes - 12h30 - 14h00 Déjeuner
- 14h00 - 18h00 Excursion: ballade dans les calanques
- 19h00         Dîner

Troisième jour: 1 février 2010
- 09h00 - 10h00 Conférence invitée :
                   Preuves et prouveur TLA+
                   Leslie Lamport (Microsoft Research)
- 10h00 - 10h30 Pause café
- 10h30 - 11h00 Une table d'association d'intervalles fusionnable
                   R. Bonichon et P. Cuoq (CEA LIST)
- 11h00 - 11h30 Enforcing type-safe linking using inter-package
 		  relationships
                   M. Dogguy, S. Glondu, S. Le Gall, S. Zacchiroli (PPS/P7,
                   OCamlCore SARL)
- 11h30 - 12h00 Génération de code fonctionnel certifié à partir de
 		  spécifications inductives
                   dans l'environnement Focalize
                   D. Delahaye, C. Dubois et P.-N. Tollitte
                   (CEDRIC/CNAM,ENSIIE)
- 12h00 - 14h00 Déjeuner
- 14h00 - 14h30 Tâches, types et tactiques pour les sytèmes de calculs
                   locaux
                   P. Casteran et V. Filou (LabRI)
- 14h30 - 15h00 Les types quotients en Coq C. Cohen (LIX)
- 15h00 - 15h30 Conteneurs de première classe en Coq
                   S. Lescuyer (INRIA Saclay)
- 15h30 - 16h00 Pause café
- 16h00 - 16h30 Macaque: interrogation sûre et flexible de base de
 		  données depuis Ocaml
                   G. Scherer et J. Vouillon (ENS-Lyon, CNRS-P7)
- 16h30 - 17h00 Observation temps-réel de programmes Caml
                   S. Conchon, J.-C. Filliâtre, F. Le Fessant,
                   J. Robert et G. Von Tokarski (LRI, CNRS, INRIA Saclay)
- 17h00 - 17h30 De l'interprétation algorithmique du blason
                   P. Manoury (PPS-UPMC)
- 17h30 - 18h30 Démonstrations
- 19h00         Dîner

Quatrième jour: 2 février 2010
- 09h00 - 10h00 Conférence invitée
                   De la correction automatisée
                   Christian Queinnec (Université Paris 6)
- 10h00 - 10h30 Pause café
- 10h30 - 11h00 Principes et pratiques de la programmation concurrente
 		  en pi-calcul F. Peschanski (LIP6/P6)
- 11h00 - 11h30 Lucy-N: une extension n-synchrone de LUSTRE
                   L. Mandel, F. Plateau et M. Pouzet (LRI/P11)
- 11h30 - 12h00 Bilan et clôture des journées
- 12h00 - 13h30 Déjeuner

Pour tout renseignement, contacter
----------------------------------

INRIA Grenoble Rhône-Alpes
Bureau des Cours-Colloques
655 avenue de l'Europe - Montbonnot
38334 Saint Ismier Cedex - France
Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06
email : colloques@inrialpes.fr

http://jfla.inria.fr/2010/