Appel à participation
JFLA'2011 (http://jfla.inria.fr/2011/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
29 janvier au 1 février 2011, La Bresse
Le programme des 22èmes JFLA est maintenant établi.
Vous trouverez *très prochainement* auprès du site des journées
http://jfla.inria.fr/2011/ tous les renseignements nécessaires à votre
inscription.
À bientôt à La Bresse,
Sylvain Conchon et Assia Mahboubi
Pour tout renseignement, contacter sympo...@inria.fr
*Programme JFLA 2011*
---------------------
Samedi 29 janvier 2011
* 16h00 - 16h30 Pot de bienvenue
* 16h30 - 17h30 Cours de Luc Maranget.
Programmer en Jocaml
* 17h30 - 17h45 Pause
* 17h45 - 18h45 Cours d'Yves Bertot.
Un tutoriel sur la coinduction en Coq: faire preuve de
paresse à l'infini
* 19h00 Dîner
Dimanche 30 janvier 2011
* 09h00 - 10h30 Cours de Luc Maranget.
Programmer en Jocaml
* 10h30 - 11h00 Pause
* 11h00 - 12h30 Cours d'Yves Bertot.
Un tutoriel sur la coinduction en Coq: faire
preuve de
paresse à l'infini
* 12h30 - 14h00 Déjeuner
* 14h00 - 18h00 Excursion
* 19h00 Dîner
Lundi 31 janvier 2011
* 09h00 - 10h00 Exposé invité : François Pottier.
Vérification de la complexité à l'aide des types
* 10h00 - 10h30 Pause
* 10h30 - 12h00
o Louis Mandel et Florence Plateau.
Typage des horloges périodiques en Lucy-n
o Frédéric Gava et Sovanna Tan.
Implémentation et prédiction des performances de
squelettes data-parallèles en utilisant un langage BSP de
haut niveau
o Jean-Christophe Filliâtre et Kalyan Krishnamani
Functory : Une bibliothèque de calcul distribué pour
Objective Caml
* 12h00 - 14h00 Déjeuner
* 14h00 - 15h30
o Thomas Braibant.
De coquets circuits
o Wadoud Bousdira, Frederic Loulergue et Louis Gesbert.
Syntaxe et sémantique de Revised Bulk Synchronous Parallel
ML
o Romain Bardou et Claude Marché.
Perle de preuve: les tableaux creux
* 15h30 - 16h00 Pause
* 16h00 - 17h00
o Benoit Vaugon, Philippe Wang and Emmanuel Chailloux.
Les microcontrôleurs PIC programmés en Objective Caml
o Julien Signoles.
Une bibliothèque de typage dynamique en OCaml
* 17h00 - 18h30 Démonstrations
* 19h00 Dîner
Mardi 01 février 2011
* 09h00 - 10h00 Exposé invité : Gilles Dowek. Titre à annoncer
* 10h00 - 10h30 Pause
* 10h30 - 11h30
o Pierre-Loic Garoche et Pierre Roux.
Dessine moi un domaine abstrait fini -- une recette à base
de Camlp4 et de solveurs SMT
o Fabrice Le Fessant.
Transformation de fonctions récursives en boucles dans
ocamlpro
* 11h30 - 12h00 Bilan des journées
* 12h00 - 14h00 Déjeuner
_______________________________________________
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
