* [Caml-list] JFLA 2011 : Dernier appel à participation
@ 2011-01-05 22:09 conchon
0 siblings, 0 replies; only message in thread
From: conchon @ 2011-01-05 22:09 UTC (permalink / raw)
To: caml-list, gdr-im, gdr.gpl, coq-club, coq-club
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
Vous trouverez sur le site des journées (http://jfla.inria.fr/2011/) tous les renseignements
nécessaires pour vous inscrire.
************************************************************************************************
Nous attirons votre attention sur l'évènement GGJJ 2011 (colloque anniversaire en l'honneur de
Gérard Berry et Jean-Jacques Lévy) qui se tiendra juste après les JFLA à Gérardmer (situé à une
quinzaine de kilomètres de La Bresse). Un transfert par bus est prévu le 1er février après-midi
entre les deux sites. Détails sur http://www.lri.fr/~conchon/gerardmer/
************************************************************************************************
À 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. De l'universalité à l'interopérabilité
* 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:[~2011-01-05 22:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-01-05 22:09 [Caml-list] JFLA 2011 : Dernier appel à participation 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).