JFLA 2006

28-31 janvier 2006 Pauillac

Site de la
manifestation

Programme JFLA 2006

Arrivée: 28 janvier 2006

Premier jour: 28 janvier 2006

15h - 15h30 Accueil - Présentation
15h30 - 17h Cours Coq par Pierre Castéran: Le Coq au Pauillac et aux Omégas
17h - 17h30 Pause-café
17h30 - 19h Cours Focal par le groupe Focal: FOCALiser sous les auspices de Zenon
19h00 Dîner

Deuxième jour: 29 janvier 2006

9h - 10h30 Cours Coq par Pierre Castéran: Le Coq au Pauillac et aux Omégas
10h30 - 11h Pause-café
11h30 - 12h30 Cours Focal par le groupe Focal: FOCALiser sous les auspices de Zenon
12h30 - 14h Déjeuner
14h00 - 18h Excursion: promenade dans Pauillac
18h00 - 19h Présentation de AFADL et discussion sur les JFLA'2007
19h00 Dîner

Troisième jour: 30 janvier 2006

9h00 - 10h00 Conférence invitée
Applications de la réécriture avec ASF+SDF.
PR. Mark van den Brand (CWI Amsterdam).
10h - 10h30 Pause-café
10h30 - 11h Une preuve effective de la bonne fondaison de l'ordre récursif multi-ensemble sur les chemins.
S. Coupet-Grimal, W. Delobel, LIFM, Marseille.
11h - 11h30 Faire garder la banque par un Coq.
J. Courant, J.-F. Monin, VERIMAG, Gières.
11h30 - 12h00 Calcul de formules affines et de séries entières en arithmétique exacte avec types inductifs.
Yves Bertot, INRIA Sophia Antiopolis.
12h00 - 14h Déjeuner
14h00 - 14h30 Decidable Type Inference for the Polymorphic Rewriting Calculus.
H. Cirstea, C. Kirchner, L. Liquori, B. Wack, LORIA, Nancy.
14h30 - 15h Formalisation et implantation d'une politique de sécurité d'une base de données.
J. Blond, C. Morisset, LIP6, Paris .
15h00 - 15h30 Une implantation de la juxtaposition parallèle.
F. Gava, LACL, Créteil.
15h30 - 16h Pause café
16h - 16h30 Sémantiques de MSPML avec composition parallèle.
R. Benheddi, F. Loulergue, LIFO, Orléans.
16h30 - 17h Itérer avec persistance.
J.-C. Fillâtre, LRI, Orsay.
17h - 18h30 Démonstrations
19h00 Dîner

Quatrième: 31 janvier 2006

9h00 - 10h00 Conférence invitée
.
PR. Catherine Dubois (CEDRIC, Institut d'Informatique d'Entreprise/CNAM).
10h - 10h30 Pause-café
10h30 - 11h00 Typer la dé-sérialisation sans sérialiser les types.
G. Henry, M. Mauny, E. Chailloux, PPS, Paris.
11h00 - 11h30 Stratégie d'application stochastique de règles de réécriture dans le langage MGS.
A. Spicher, O. Michel, LAMI, Evry.
11h30 - 12h00 Bilan et clôture des Journées
12h00 - 13h30 Déjeuner

Pour tout renseignement, contacter

Marie-Françoise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2006)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : Marie-Francoise.Loubressac@inria.fr
http://jfla.inria.fr/2006/

Pour toutes remarques d'ordre général ou technique concernant cette page, écrire à Pierre.Weis@inria.fr.