[Caml-list] Call for participation * JFLA 2003 * Appel a participation

[Caml-list] Call for participation * JFLA 2003 * Appel a participation

[Jean-Christophe Filliatre]

         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