From: Sylvain Conchon <sylvain.conchon@lri.fr>
To: caml-list@inria.fr
Subject: JFLA 2011 : appel à participation
Date: Wed, 15 Dec 2010 17:44:50 +0100 [thread overview]
Message-ID: <4D08F082.80203@lri.fr> (raw)
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
reply other threads:[~2010-12-15 16:44 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4D08F082.80203@lri.fr \
--to=sylvain.conchon@lri.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).