From: Jean-Christophe Filliatre <filliatr@lri.fr>
To: filliatr@lri.lri.fr
Subject: [Caml-list] Call for participation * JFLA 2003 * Appel a participation
Date: Tue, 26 Nov 2002 15:23:02 +0100 [thread overview]
Message-ID: <15843.33734.963661.332023@lri.lri.fr> (raw)
Call for participation / Appel a participation
JOURNEES FRANCOPHONES DES LANGAGES APPLICATIFS
INRIA
27 et 28 janvier 2003
Chamrousse, France
http://pauillac.inria.fr/jfla/2003
We are now able to send you the definitive programm of the 14th JFLA
(French speaking workshop on applicative programming) ;
please find all necessary information and tools for your inscription
at the following site : http://pauillac.inria.fr/jfla/2003
You will find some useful adresses at the end of this mail too.
Due to the french speaking specificity of our workshop, the
rest of this mail will use this language.
Le programme des 14èmes JFLA est maintenant établi ; vous trouverez
auprès du site des journées http://pauillac.inria.fr/jfla/2003
tout renseignement nécessaire à votre inscription.
Des renseignements utiles se trouvent également en fin de ce message.
Jean-Christophe Filliâtre
Programme (En français / in french)
Lundi 27 janvier 2003
9h - 10h Conférence invitée (TITRE À DÉTERMINER)
Alain Chillès, professeur de classes préparatoires à Lyon.
10h - 10h30 Pause-café
10h30 - 11h Les avertissements du filtrage
Luc Maranget (INRIA Rocquencourt)
11h - 11h30 Calcul statique des applications de modules paramétrés
J. Signoles
11h30 - 12h00 Another Implementation Technique for Functional
Programming Languages
R. Boulifa et M. Mezghiche
12h00 - 16h30 Déjeuner et excursion
16h 30 - 17h00 Pause café
17h00 - 17h30 Un système X Raisonner formellement sur les programmes ML
S. Baro et P. Manoury
17h30 - 18h00 Réutilisation de preuves formelles : Une étude pour
le système FoC
C. Dubois, J. Grandguillot et M. Jaume
18h00 - 18h30 Filtrage et règles de réécriture sur des structures
indexées par des groupes
J. Cohen, O. Michel et J.-L. Giavitto
18h30 - 19h00 Démonstrations
Mardi 28 janvier 2003
9h00 - 10h00 Conférence invitée (TITRE À DÉTERMINER)
Jean-Marc Eber, spécialiste de l'informatique financière.
10h00- 10h30 Pause-café
10h30 - 11h00 A Parametrized Polyvariant Bytecode Verifier
L. Henrio et B. P. Serpette
11h00 - 11h30 Analyse de robustesse de systèmes avioniques
Y. Ait Ameur, F. Boniol, S. Pairault et V. Wiels
11h30 - 12h00 L'expérience SCOL, un langage pour des applications
internet multi-utilisateurs
A.-G. Bosser et F. Alberti
12h00 - 13h30 Déjeuner
13h30 - 14h00 CamlG4 : une bibliothèque de calcul parallèle pour
Objective Caml
J. Falcou et J. Sérot
14h - 14h30 Synthèse de types pour Bulk Synchronous Parallel ML
F. Gava et F. Loulergue
14h30 - 15h30 Démonstrations et Pause café
15h30 Fin des Journées
Comité de programme
Jean-Christophe Filliatre (Président) Université Paris Sud
Pierre Crégut France Télécom R&D
Emmanuel Chailloux Université Pierre et Marie Curie
Xavier Leroy INRIA Rocquencourt
Claude Marché Université Paris Sud
Alexandre Miquel Université Paris Sud
Olivier Pons CNAM
Christophe Raffalli Université de Savoie
Jérôme Vouillon Université Denis Diderot
Yves Bertot INRIA Sophia-Antipolis
Informations pratiques (En français / in french)
-------------------------------------------------
En priorité, vous pouvez consulter toute information sur le site des
journées http://pauillac.inria.fr/jfla/2003
où vous trouverez un bulletin d'inscription et des renseignements
mis régulièrement à jour.
Les renseignements ci-dessous ont donc un but purement informatif.
Lieu
----
Les Journées auront lieu à Chamrousse (Isère), à l'hôtel "La Datcha"
(http://www.hotelladatcha.com/)
Accés
-----
Consulter le site de la conférence.
Actes des journées
------------------
Les actes seront édités par l'INRIA et distribués lors des journées.
Excursion
---------
Une excursion en montagne est prévue ;
si vous souhaitez participer à cette excursion, n'oubliez pas de le
mentionner sur le formulaire d'inscription.
Droits d'inscription (TVA 20,6% incluse)
----------------------------------------
Tarif participant
- en chambre individuelle : 335 euros TTC
- en chambre double : 255 euros TTC
Les droits d'inscription comprennent :
- la participation aux journées
- les actes des journées
- les pauses-café
- l'hébergement en pension complète, en chambre individuelle ou double
du dimanche 26 janvier au soir (dîner inclus) au mardi 28 janvier fin
d'après-midi. Attention : le nombre de chambres est limité.
Modalités d'inscription
-----------------------
Pour des raisons de contraintes d'hébergement, les inscriptions après
le 31 décembre 2002 ne seront pas garanties. Seules les
inscriptions accompagnées du règlement seront prises en compte.
Modalités de paiement
---------------------
- par bon de commande à l'INRIA, joint au formulaire d'inscription,
- par chèque, à l'ordre de l'Agent Comptable de l'INRIA, joint au
formulaire d'inscription,
- par virement bancaire (renseignements donnés lors de l'inscription)
Annulation
----------
Le remboursement des frais d'inscription sera possible pour toute
demande écrite parvenant au secrétariat 8 jours avant le début des
journées (cachet de la poste faisant foi). Aucun remboursement ne sera
effectué au-delà de cette date.
Information
-----------
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2003)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 50 53 - Fax : +33 (0) 1 39 63 56 38
Mél. : symposia@inria.fr
http://pauillac.inria.fr/jfla/2003
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
reply other threads:[~2002-11-26 14:28 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=15843.33734.963661.332023@lri.lri.fr \
--to=filliatr@lri.fr \
--cc=Jean-Christophe.Filliatre@lri.fr \
--cc=filliatr@lri.lri.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).