]> 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. Attention: la date limite pour les inscriptions est le 14 janvier. 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 Faut-il avoir peur de sa carte SIM ? 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 : colloques@inrialpes.fr http://jfla.inria.fr/2009/