Appel a participation
JFLA'2009 (http://jfla.inria.fr/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
31 janvier au 3 février 2009
Le programme des 20èmes JFLA est maintenant établi; vous trouverez
auprès du site des journées http://jfla.inria.fr/2009/ tout
renseignement nécessaire à votre inscription.
Alan Schmitt
31 janvier 2009
• 15h - 15h30 Accueil - Présentation
• 15h30 - 17h Cours par Gérard Huet: Automates, transducteurs et
machines d'Eilenberg applicatives dans la boîte à outils Zen.
Applications au traitement de la langue.
• 17h - 17h30 Pause-café
• 17h30 - 19h Cours par Assia Mahboubi: Présentation de SSReflect
• 19h00 Dîner
1er février 2009
• 9h - 10h30 Cours par Gérard Huet: Automates, transducteurs et
machines d'Eilenberg applicatives dans la boîte à outils Zen.
Applications au traitement de la langue.
• 10h30 - 11h Pause-café
• 11h30 - 12h30 Cours par Assia Mahboubi: Présentation de SSReflect
• 12h30 - 14h Déjeuner
• 14h00 - 18h Excursion: une balade à pied
• 19h00 Dîner
2 février 2009
• 9h00 - 10h00 Conférence invitée
Ocsigen : approche fonctionnelle typée de la programmation Web.
Vincent Balat (Université Paris 7).
• 10h - 10h30 Pause-café
• 10h30 - 11h Qui sème la fonction, récolte le tuyau typé.
Didier Parigot et Bernard Paul Serpette.
• 11h - 11h30 Foncteurs impératifs et composés: la notion de projets
dans Frama-C.
Julien Signoles.
• 11h30 - 12h00 Vers une programmation fonctionnelle en appel par
valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-
miettes parallèle.
Luca Saiu.
• 12h00 - 14h Déjeuner
• 14h00 - 14h30 Vérification d'invariants pour des systèmes spécifiés
en logique de réécriture.
Vlad Rusu et Manuel Clavel .
• 14h30 - 15h Un modèle de l'assistant à la preuve: PAF!.
Séverine Maingaud.
• 15h00 - 15h30 Extraction certifiée dans Coq-en-Coq.
Stéphane Glondu.
• 15h30 - 16h Pause café
• 16h - 16h30 Abstraction d'horloges dans les systèmes synchrones
flot de données.
Louis Mandel et Florence Plateau.
• 16h30 - 17h30 Vingt années de JFLA.
Pierre Weis.
• 17h30 - 18h30 Démonstrations
• 19h00 Dîner
3 février 2009
• 9h00 - 10h00 Conférence invitée
Modélisation en Coq de l'état d'une JavaCard.
Bruno Barras (Trusted Labs).
• 10h - 10h30 Pause-café
• 10h30 - 11h00 Fouille au code OCaml par analyse de dépendances.
Maxence Guesdon.
• 11h00 - 11h30 Faire bonne figure avec Mlpost.
R. Bardou, J. Kanig, J.-C. Filliâtre et S. Lescuyer.
• 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 : colloq...@inrialpes.fr
http://jfla.inria.fr/2009/
PGP.sig
Description: This is a digitally signed message part
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
