coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: michel AT lami.univ-evry.fr (Olivier Michel)
- To: jfla AT lami.univ-evry.fr
- Subject: [Coq-Club] Call for participation * JFLA 2005 * Appel a participation
- Date: Fri, 28 Jan 2005 14:12:50 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Call for participation / Appel a participation
JOURNEES FRANCOPHONES DES LANGAGES APPLICATIFS
INRIA
9 et 10 Mars 2005
Obernai, France
http://pauillac.inria.fr/jfla/2005
We are now able to send you the definitive programm of the 16th 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/2005 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 16èmes JFLA est maintenant établi ; vous trouverez
auprès du site des journées http://pauillac.inria.fr/jfla/2005 tout
renseignement nécessaire à votre inscription. Des renseignements
utiles se trouvent également en fin de ce message.
Olivier Michel
********************************************************************************
Programme (En français / In french)
Mercredi 9 Mars 2005
9h - Accueil - Présentation
9h00 - 10h00 Conférence invitée
La machine abstraite biochimique BIOCHAM
François Fages (INRIA)
10h - 10h30 Pause-café
10h30 - 11h ReactiveML : un langage pour la programmation
réactive en ML.
L. Mandel (LIP6)
11h - 11h30 Interpretation par SK-traduction et syntaxe
abstraite d'ordre supérieur.
J. Cohen (LaMI)
11h30 - 12h00 Integration du filtrage modulo dans Java.
P. Viry (ILOG)
12h00 - 16h Déjeuner et excursion
16h - 16h30 Pause café
16h30 - 17h Implantation de l'algèbre géométrique en
Objective-Caml
S. Charneau (IRCOM/SIC)
17h - 17h30 Une approche fonctionnelle du "modèle
vue-contrôleur"
J. Signoles (LRI)
17h30 - 18h Le foncteur sonne toujours deux fois
S. Conchon (LRI).
Jeudi 10 mars 2005
9h - 10h Conférence invitée
Concevoir et programmer des descripteurs perceptifs
pour la gestion de contenus
François Pachet (SONY/CSL)
10h00 - 10h30 Pause-café
10h30 - 11h00 Skip lists et arbres binaires de recherche
probabilistes
P. Corbineau (LRI)
11h00 - 11h30 Représentation et manipulation de structures
topologiques dans un langage fonctionnel
A. Spicher (LaMI)
11h30 - 12h00 Analyse quantitative de programmes applicatifs à
base de squelettes
A. Benoit (U. of Edinburgh)
12h00 - 13h30 Déjeuner
13h30 - 14h00 Store-based operational semantics
F. Kirchner (INRIA).
14h - 14h30 Une bibliothèque COQ pour le traitement des langues
naturelles
H. Anoun (LaBRI)
14h30 - 15h Coq à la conquète des moulins
B.-P. Serpette (INRIA)
15h00 - 15h30 Pause-café
15h30 - 16h30 Démonstrations
16h30 - Fin des Journées
Comité de programme
Olivier Michel LAMI, Université Évry-Val d'Essonne, Évry
(Président)
Catherine Dubois CEDRIC, Institut d'Informatique
d'Entreprise/CNAM
Jean-Pierre Gallois projet AGATHA/CEA Saclay
Jacques Garrigue Université de Nagoya
Frederic Loulergue LACL, Université de Paris-XII Créteil
Pierre-Etienne Moreau projet PROTHEO, LORIA
Loïc Pottier projet LEMME, INRIA Sophia-Antipolis
Didier Rémy projet Cristal, INRIA Rocquencourt
Manuel Serrano projet MIMOSA, 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/2005 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 au VVF Villages « Les Géraniums » à Obernai
(http://www.obernai.fr/site/decouvrir/index.php4?la=fr&sais=automne&la=fr&partie=2)
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 est prévue ; si vous souhaitez participer à cette
excursion, n'oubliez pas de le mentionner sur le formulaire
d'inscription.
Droits d'inscription (TVA 19,6% incluse)
----------------------------------------
Tarif participant
- en chambre individuelle : 250 euros TTC
- en chambre double : 210 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 mardi 8 mars au soir (dîner inclus) au jeudi 10 mars 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 15 Fevrier 2005 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
-----------
Marie-Françoise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2005)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email :
Marie-Francoise.Loubressac AT inria.fr
http://pauillac.inria.fr/jfla/2005/
- [Coq-Club] Call for participation * JFLA 2005 * Appel a participation, Olivier Michel
Archive powered by MhonArc 2.6.16.