(no subject)

[Valerie Menissier Morain]

Call for participation * JFLA 2004 * Appel a participation



         Call for participation /  Appel a participation


                                   JFLA2004
               Journées Francophones des Langages Applicatifs
                        Organisées par l'INRIA

                        26 et 27  janvier 2004

                      Sainte-Marie-de-Ré, France

                  http://pauillac.inria.fr/jfla/2004


We are now able to send you the definitive programm of the 15th 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/2004
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 15èmes JFLA est maintenant établi ; vous trouverez
auprès du site des journées http://pauillac.inria.fr/jfla/2004
tout renseignement nécessaire à votre inscription.
Des renseignements utiles se trouvent également en fin de ce message.


Valérie Ménissier-Morain



Programme (En français / in french)
-----------------------------------

Lundi 26 janvier 2004

    9h - 10h Conférence invitée 
    Une fois qu'on n'a pas trouvé de preuve, comment le faire
    comprendre à un assistant de preuve?
    Jean-Goubault-Larrecq, (LSV, ENS Cachan)
    10h - 10h30 Pause-café
    10h30 - 11h Ocaml-templates, génération de code à partir des types
    François Maurel (PPS, Paris 7)
    11h - 11h30 Typage fort et typage souple des collections topologiques
    Julien Cohen (LAMI, Évry)
    11h30 - 12h00 Une bibliothèque certifiée de programmes fonctionnels BSP
    Frédéric Gava (LACL, Paris 12)
    12h00 - 16h00 Déjeuner et excursion
    16h00 - 16h30 Pause café
    16h30 - 17h00 Une procédure de décision réflexive 
                    pour un fragment de l'arithmétique de Presburger
      Pierre Crégut (France-Télécom R & D - DTL/TAL)
    17h00 - 17h30 Gb: une procédure de décision pour le système Coq
      Jérôme Créci (Saarbrucken), Loïc Pottier (INRIA Sophia-Antipolis)

    18h00 - 19h00 Table ronde:
    La place et la pratique du test dans la programmation fonctionnelle. 

Mardi 27 janvier 2004

    9h00 - 10h00 Conférence invitée 
    Certification d'un compilateur: enjeux, problèmes et approches
      Xavier Leroy (INRIA Rocquencourt)
    10h00- 10h30 Pause-café
    10h30 - 11h00 Application du toplevel embarqué d'Objective Caml
      Clément Capel, Emmanuel Chailloux (PPS, Paris 7), 
      Jean-Marc Eber (LexiFi SAS)
    11h00 - 11h30 GlSurf: maths et dessins en Ocaml
      Christophe Raffalli (Laboratoire de Mathématiques, Univ. Savoie)
    11h30 - 12h00 Formalisation en Coq d'un cours de géométrie 
                    pour le lycée
      Frédérique Guilhot (INRIA Sophia-Antipolis)
    12h00 - 13h30 Déjeuner
    13h30 - 14h00 Évaluation de l'extensibilité de PhoX: 
                    B/PhoX un assistant de preuves pour B
      Jérôme Rocheteau, Samuel Colin, Georges Mariano, Vincent Poirriez
    (INRETS-ESTAS, Valenciennes)
    14h00 - 14h30 Algorithmes et complexités de la réduction statique minimale
    Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes 
    (INRIA Sophia-Antipolis)
    14h30 - 15h00 Programmation paramétrée en ML et automates d'architecture
    Philippe Narbel (LaBRI, Bordeaux I)
    15h00 - 16h30 Démonstrations et Pause café
    16h30 Fin des Journées


Comité de programme
-------------------

  Valérie Ménissier-Morain (Présidente) LIP6, Paris 6
  Sylvain Boulmé                        LSR, INPG
  Claude Feliot                         ALSTOM TRANSPORT
  Pascal Fradet                         INRIA Rhône-Alpes
  Hugo Herbelin                         INRIA Futurs
  Michel Mauny                          INRIA Rocquencourt
  Olivier Michel                        LAMI, Université Évry-Val d'Essonne
  Marc Pantel                           LIMA, ENSEEIHT
  Laurent Théry                         INRIA Sophia-Antipolis
  Olivier Zendra                        INRIA-Lorraine


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/2004
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 à Sainte-Marie-de-Ré (Charentes-Maritimes), à
l'hôtel "Les grenettes" (http://www.hotel-les-grenettes.com/)

Accés
-----

Consulter le site de la conférence.

Excursion
---------
Il n'y a pas d'excursion particulière prévue, mais il est possible de
louer des vélos pour se balader dans l'île. S'il y a suffisamment de
gens intéressés, l'hôtel peut organiser un circuit de 2 ou 3
heures. Si vous êtes intéressés, n'oubliez pas de le mentionner sur le
formulaire d'inscription. 


Actes des journées
------------------

Les actes seront édités par l'INRIA et distribués lors des journées.


Droits d'inscription (TVA 20,6% incluse)
----------------------------------------

Tarif participant
- en chambre individuelle :     230 euros TTC
- en chambre double :           190 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 25 janvier au soir (dîner inclus) au mardi 27 janvier fin
d'après-midi. 


Modalités d'inscription
-----------------------

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 (JFLA2004)
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/2004

-------------------
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