* JFLA 2011 : appel à participation
@ 2010-12-15 16:44 Sylvain Conchon
0 siblings, 0 replies; only message in thread
From: Sylvain Conchon @ 2010-12-15 16:44 UTC (permalink / raw)
To: caml-list
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 symposia@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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-12-15 16:44 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-12-15 16:44 JFLA 2011 : appel à participation Sylvain Conchon
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).