From: Micaela Mayero <Micaela.Mayero@lipn.univ-paris13.fr>
To: caml-list@yquem.inria.fr
Subject: JFLA 2010: appel à participation
Date: Thu, 24 Dec 2009 12:43:26 +0100 (CET) [thread overview]
Message-ID: <alpine.DEB.1.10.0912241242560.26337@onyx.lipn.univ-paris13.fr> (raw)
[-- Attachment #1: Type: TEXT/PLAIN, Size: 3617 bytes --]
Appel a participation
JFLA'2010 (http://jfla.inria.fr/2010/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
30 janvier au 2 février 2010
Le programme des 21èmes JFLA est maintenant établi; vous trouverez auprès du
site des journées http://jfla.inria.fr/2010/ tout renseignement nécessaire à
votre inscription.
Micaela Mayero
*Programme JFLA 2010*
Premier jour: 30 janvier 2010
- 12h30 - 14h00 Cocktail de bienvenue puis déjeuner
- 15h00 - 15h30 Accueil - Présentation
- 15h30 - 17h00 Cours par Louis Mandel: Reactive ML
- 17h00 - 17h30 Pause café
- 17h30 - 19h00 Cours par Pierre Letouzey: De Coq à ML : l'extraction de
programmes - 19h00 Dîner
Deuxième jour: 31 janvier 2010
- 09h00 - 10h30 Cours par Louis Mandel: Reactive ML
- 10h30 - 11h00 Pause café
- 11h00 - 12h30 Cours par Pierre Letouzey: De Coq à ML : l'extraction de
programmes - 12h30 - 14h00 Déjeuner
- 14h00 - 18h00 Excursion: ballade dans les calanques
- 19h00 Dîner
Troisième jour: 1 février 2010
- 09h00 - 10h00 Conférence invitée :
Preuves et prouveur TLA+
Leslie Lamport (Microsoft Research)
- 10h00 - 10h30 Pause café
- 10h30 - 11h00 Une table d'association d'intervalles fusionnable
R. Bonichon et P. Cuoq (CEA LIST)
- 11h00 - 11h30 Enforcing type-safe linking using inter-package
relationships
M. Dogguy, S. Glondu, S. Le Gall, S. Zacchiroli (PPS/P7,
OCamlCore SARL)
- 11h30 - 12h00 Génération de code fonctionnel certifié à partir de
spécifications inductives
dans l'environnement Focalize
D. Delahaye, C. Dubois et P.-N. Tollitte
(CEDRIC/CNAM,ENSIIE)
- 12h00 - 14h00 Déjeuner
- 14h00 - 14h30 Tâches, types et tactiques pour les sytèmes de calculs
locaux
P. Casteran et V. Filou (LabRI)
- 14h30 - 15h00 Les types quotients en Coq C. Cohen (LIX)
- 15h00 - 15h30 Conteneurs de première classe en Coq
S. Lescuyer (INRIA Saclay)
- 15h30 - 16h00 Pause café
- 16h00 - 16h30 Macaque: interrogation sûre et flexible de base de
données depuis Ocaml
G. Scherer et J. Vouillon (ENS-Lyon, CNRS-P7)
- 16h30 - 17h00 Observation temps-réel de programmes Caml
S. Conchon, J.-C. Filliâtre, F. Le Fessant,
J. Robert et G. Von Tokarski (LRI, CNRS, INRIA Saclay)
- 17h00 - 17h30 De l'interprétation algorithmique du blason
P. Manoury (PPS-UPMC)
- 17h30 - 18h30 Démonstrations
- 19h00 Dîner
Quatrième jour: 2 février 2010
- 09h00 - 10h00 Conférence invitée
De la correction automatisée
Christian Queinnec (Université Paris 6)
- 10h00 - 10h30 Pause café
- 10h30 - 11h00 Principes et pratiques de la programmation concurrente
en pi-calcul F. Peschanski (LIP6/P6)
- 11h00 - 11h30 Lucy-N: une extension n-synchrone de LUSTRE
L. Mandel, F. Plateau et M. Pouzet (LRI/P11)
- 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/2010/
reply other threads:[~2009-12-24 11:43 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=alpine.DEB.1.10.0912241242560.26337@onyx.lipn.univ-paris13.fr \
--to=micaela.mayero@lipn.univ-paris13.fr \
--cc=caml-list@yquem.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).