Cours et Colloques

Contact: colloques@inrialpes.fr

JFLA 2010

30 janvier au 2 février 2010 Vieux-Port La Ciotat

Programme JFLA 2010

Arrivée: 30 janvier 2010

Premier jour: 30 janvier et 31 janvier 2010

• 12h30 - 14h Cocktail de bienvenue puis déjeuner
• 15h - 15h30 Accueil - Présentation
• 15h30 - 17h Cours par Louis Mandel: Cours de ReactiveML -- présentation 1 présentation 2
• 17h - 17h30 Pause-café
• 17h30 - 19h Cours par Pierre Letouzey: De Coq à ML : l'extraction de programmes -- présentation
• 19h00 Dîner

Deuxième jour: 30 janvier et 31 janvier 2010

• 9h - 10h30 Cours par Louis Mandel: Cours de ReactiveML -- présentation 1 présentation 2
• 10h30 - 11h Pause-café
• 11h00 - 12h30 Cours par Pierre Letouzey: De Coq à ML : l'extraction de programmes -- présentation
• 12h30 - 14h Déjeuner
• 14h00 - 18h Excursion: une balade dans les calanques
• 19h00 Dîner

Troisième jour: 1 février 2010

• 9h00 - 10h00 Conférence invitée
  Preuves et prouveur TLA+.
  Leslie Lamport (Microsoft).
• 10h - 10h30 Pause-café
• 10h30 - 11h Une table d'association d'intervalles fusionnable.
  R. Bonichon et P. Cuoq (CEA LIST).
• 11h - 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 -- présentation.
  D. Delahaye, C. Dubois et P.-N. Tollitte (CEDRIC/CNAM,ENSIIE).
• 12h00 - 14h Déjeuner
• 14h00 - 14h30 Tâches, types et tactiques pour les sytèmes de calculs locaux -- présentation.
  P. Casteran et V. Filou (LabRI).
• 14h30 - 15h Les types quotients en Coq -- présentation.
  C. Cohen (LIX).
• 15h00 - 15h30 Conteneurs de première classe en Coq -- présentation.
  S. Lescuyer (INRIA Saclay).
• 15h30 - 16h Pause café
• 16h - 16h30 Macaque: interrogation sûre et flexible de base de données depuis Ocaml -- présentation .
  G. Scherer et J. Vouillon (ENS-Paris, CNRS-P7).
• 16h30 - 17h 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 -- présentation.
  P. Manoury (PPS-UPMC).
• 17h30 - 18h30 Démonstrations
• 19h00 Dîner

Quatrième jour: 2 février 2010

• 9h00 - 10h00 Conférence invitée
  De la correction automatisée -- présentation
  Christian Queinnec (Université Paris 6).
• 10h - 10h30 Pause-café
• 10h30 - 11h00 Principes et pratiques de la programmation concurrente en pi-calcul -- présentation.
  F. Peschanski (LIP6/P6).
• 11h00 - 11h30 Lucy-N: une extension n-synchrone de LUSTRE -- présentation .
  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/

Conception et mise au point: Pierre Weis.
Copyright © 1996 - 2010 INRIA, tous droits réservés.
Date de dernière modification: vendredi 18 décembre 2009

Powered by Caml