JFLA 2005

9 et 10 mars 2005 Obernai (Contreforts des Vosges)

Site de la
manifestation

Programme JFLA 2005

Arrivée: mardi 8 mars 2005

18h00 - 20h00 Accueil
20h00 Dîner

Premier jour: 9 mars 2005

9h Accueil - Présentation
9h00 - 10h00 Conférence invitée
La machine abstraite biochimique BIOCHAM.
François Fages.
10h - 10h30 Pause-café
10h30 - 11h ReactiveML : un langage pour la programmation réactive en ML.
L. Mandel, M. Pouzet (LIP6).
11h - 11h30 Interpretation par SK-traduction et syntaxe abstraite d'ordre supérieur.
J. Cohen (LaMI).
11h30 - 12h00 Integration du filtrage modulo dans Java.
P. Viry, J.-P. Lambert (ILOG).
12h00 - 16h Déjeuner et excursion
16h - 16h30 Pause café
16h30 - 17h30 Conférence invitée
Concevoir et programmer des descripteurs perceptifs pour la gestion de contenus.
François Pachet.
17h30 - 18h00 Implantation de l'algèbre géométrique en Objective-Caml.
S. Charneau, L. Fuchs, L. Aveneau (IRCOM/SIC).

Deuxième jour: 10 mars 2005

9h - 9h30 Une approche fonctionnelle du "modèle vue-contrôleur".
J. Signoles (LRI).
9 - 10h Le foncteur sonne toujours deux fois.
S. Conchon, J.-C. Filliâtre, J. Signoles (LRI).
10h00- 10h30 Pause-café
10h30 - 11h00 Skip lists et arbres binaires de recherche probabilistes.
P. Corbineau (LRI).
11h00 - 11h30 Représentation et manipulation de structures topologiques dans un langage fonctionnel.
A. Spicher (LaMI).
11h30 - 12h00 Analyse quantitative de programmes applicatifs à base de squelettes.
A. Benoit, M. Cole, S. Gilmore, J. Hillston (U. of Edinburgh).
12h00 - 13h30 Déjeuner
13h30 - 14h00 Store-based operational semantics.
F. Kirchner (INRIA).
14h - 14h30 Une bibliothèque COQ pour le traitement des langues naturelles.
H. Anoun (LaBRI).
14h30 - 15h Coq à la conquète des moulins.
L. Rideau, B.P. Serpette (INRIA).
15h00- 15h30 Pause-café
15h30 - 16h30 Démonstrations
16h30 Fin des Journées

Pour tout renseignement, contacter

Marie-Françoise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2005)
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://pauillac.inria.fr/jfla/2005/

Mis à jour par Pierre.Weis@inria.fr