JFLA 2009: appel à participation

JFLA 2009: appel à participation

[Alan Schmitt]

[-- Attachment #1: Type: text/plain, Size: 3096 bytes --]

                            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 : colloques@inrialpes.fr

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

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 194 bytes --]