Call for participation *JFLA 2001* appel a participation

Call for participation *JFLA 2001* appel a participation

[Pierre CASTERAN]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 6486 bytes --]


      Call for participation /  Appel a participation 


         JOURNEES FRANCOPHONES DES LANGAGES APPLICATIFS

                     INRIA & LaBRI (Bordeaux)

                        29 et 30  janvier 2001       

                       Pontarlier, France

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


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

Pierre Castéran




Programme (En français / in french)

Lundi :

   9h-10h Conférence invitée de Gilles Dowek (Projet Coq, Inria Rocquencourt)
     "Articuler raisonnement et calcul (en déduction modulo) :
      jusqu'où peut-on aller ?"

   10h    Pause café

   10h30     Nicolas Magaud, Yves Bertot (Inria Sophia) : 
     Changement de représentation  des structures de données en Coq:
     le cas des entiers naturels 


   11h    Laurent Chicli (Inria Sophia) : 
       Une formalisation des faisceaux et  des schémas affines en 
      théorie des types avec Coq 

   11h30    David Delahaye, Micaela Mayero (Inria Rocquencourt, logiCal) :
    Field, une procédure de décision pour les nombres réels en Coq 


   12h-16h Déjeuner et excursion 

   16h    Loic Pottier (Inria Sophia) :  
          Extraction dans le Calcul des Constructions  inductives

   16h30  Virgile Prevosto (LIP6) :
      Prototype d'interface utilisateur de la librairie FOC 


   17h    Pause café


   17h30 Table ronde animée par Jean-François Monin :
         Thème : Les techniques liées à la programmation applicative, et 
         leur application en milieu/ à l'echelle industrielle.

        



Mardi :

   9h-10h Conférence invitée de Christian Queinnec (LIP6)
     "Du bon usage des continuations pour la programmation de 
      serveurs ouèbe"

   10h    Pause café

   10h30  J. Furuse (Inria Rocquencourt) : 
       Generic Polymorphism in ML 

   11h00  Frédéric Prost (IMAG) : 
    On the semantics of non-interference type-based    analysis 

   11h30   Pascal Cuoq, Marc Pouzet (Inria Rocquencourt, LIP6) :
   Causalité modulaire  dans un langage de flots synchrone 

   12h00 Déjeuner

   14h00  D. Plaindoux :  Programmation fonctionnelle et XML: PaX 

   14h30 J. Karczmarczuk (Université de Caen) :  
     Calcul des adjoints et  programmation paresseuse   

   15h00 Pause café

   15h30 Démonstrations 

   17h00 Fin des journées  



Comité de programme

   Pierre Castéran, Président (Labri,Université Bordeaux I)


   Philippe Ayrault (Surlog)
   Bruno Barras (Trusted Logic)
   Tristan Crolard (Paris 12)
   Olivier Danvy (Brics, Université d'Aarhus, Danemark)
   Georges Gonthier (Inria)
   Valérie Ménissier-Morain (LIP6)
   Jean-François Monin (France Telecom R & D)
   Benjamin Werner (Inria)




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/2001 
 ou 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 Villages Hôtel à Pontarlier, dans le Haut Doubs.

Accés :
------
  Voici quelques indications horaires :

Aller - Le dimanche 28 janvier : 
départ Paris Gare de Lyon : 12h48 -----arrivée Pontarlier Gare SNCF
16h21 (ce qui permettrait de faire un accueil autour de 18h comme
l'année dernière).
Retour - Le mardi 30 janvier :
départ Pontarlier Gare SNCF :   18h24  ---- arrivée Paris 21h5

Voici aussi l'adresse de quelques sites du Haut-Doubs

http://www.haut-doubs.org/otpontarlier/
http://www.haut-doubs.org/sites/texte-tourisme-culture.html


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

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


Excursion
---------
 Une promenade en raquettes est sérieusement envisagée ;
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 :     2 000 FF TTC            304,90 euros TTC
- en chambre double :           1600 FF TTC             243,92 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 28 janvier au soir (dîner inclus) au mardi 30 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 2000 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 (joindre un justificatif au formulaire d'inscription) :
à la Trésorerie Générale des Yvelines à Versailles
16 Av de Saint-Cloud - 78018 Versailles Cedex - France
Compte n° 10071 - 78000 - 00003003958 - 80
(Code banque : 10071 ; guichet : 78000 ; n° de compte : 00003003958 ; clé : 80)
(Bien mentionner  sur ces documents votre nom et le référence JFLA2001)

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 (JFLA2001)
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/2001