The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

                         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 AT inrialpes.fr

http://jfla.inria.fr/2009/

Attachment: PGP.sig
Description: This is a digitally signed message part