JFLA'99

From: Pierre Weis (Pierre.Weis@inria.fr)
Date: Mon Dec 21 1998 - 11:16:41 MET


From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <199812211016.LAA13445@pauillac.inria.fr>
Subject: JFLA'99
To: caml-list@inria.fr
Date: Mon, 21 Dec 1998 11:16:41 +0100 (MET)

      ( This message is intentionally written in French )

                           JFLA 99
         Journées Francophones des Langages Applicatifs
                 organisées par l'INRIA
                 les 1 et 2 Février 1999

                INSCRIVEZ-VOUS DÈS MAINTENANT SUR LA TOILE:

http://pauillac.inria.fr/~weis/inscription_jfla99.html

                OU BIEN PAR UN FORMULAIRE PAPIER:

http://pauillac.inria.fr/~weis/jfla99/formulaire.txt

Les dixièmes journées francophones des langages applicatifs ou JFLA99
se tiendront à Avoriaz, en France, les 1 et 2 février 1999, Hôtel Club
« Le Petit Dru », 74110 Morzine-Avoriaz (France),
Tél.: +33-(0)4 50 75 77 33,.

``Cet hôtel très confortable est situé au coeur du village savoyard de
Morzine (1 000 mètres d'altitude) à proximité immédiate du vaste domaine
skiable des Portes du Soleil.''

Le programme de la conférence est le suivant:

LUNDI 1er FEVRIER 1999

8h30 Accueil - Présentation

Conférence invitée

9h00 - 10h00 Lucid Synchrome
        P. CASPI
        Laboratoire VERIMAG

10h00 Pause-café

10h30 - 11h00 Hevea, un traducteur de Latex vers HTML en Caml
        L. MARANGET
        INRIA Rocquencourt

11h00 - 11h30 Compilation de la sémantique naturelle vers ML
        C. DUBOIS ET R. GAYRAUD
        Université d'Evry Val d'Essonne, LaMI

11h30 - 12h00 Typage des coroutines en logique soustractive
        T. CROLARD
        Université de Paris 7

12h00 Déjeuner

        Excursion

17h00 - 17h30 Extension du Bslambda-calcul
        F. LOULERGUE
        Laboratoire d'Informatique Fondamentale d'Orléans

17h30 - 18h00 Mobile Computation and Hostile Hosts
        J. VITEK* ET G. CASTAGNA**
        *Université de Genève, Centre Universitaire d'Informatique
        **Ecole Nationale Supérieure de Paris, Laboratoire d'Informatique

18h00 - 18h30 Un simulateur synchrome pour Lucid Synchrome
        G. HAMON ET M. POUZET
        Université Paris 6, Laboratoire d'Informatique

        Fin de la première journée

MARDI 2 FEVRIER 1999

Conférence invitée

9h00 - 10h00 Corba, mécanismes dynamiques, langage de scripts pour
objets distribués
        J.-M. GEIB
        Université de Lille, Laboratoire d'Informatique Fondamentale

10h00 Pause-café

10h30 - 11h00 Modules, objets et calcul formel
        S. BOULME, T. HARDIN ET R. RIOBOO
        Université Paris 6, Laboratoire d'Informatique

11h00 - 11h30 Objets concurrents dans un pi-calcul applicatif
        S. DAL-ZILIO
        INRIA Sophia Antipolis

11h30 - 12h00 Calcul distribué de champs de données
        J.-L. GIAVOTTO* ET O. MICHEL**
        *Université de Paris-Sud, CNRS-LRI
        **Université d'Evry Val d'Essone, LaMI

12h00 Déjeuner

14h00 - 14h30 Intégration des typages fonctionnels et concurrents d'un
langage fonctionnel d'acteurs
        M. COLIN, M. PANTEL, F. DAGNAT ET P. SALLE
        LIMA, IRIT et INPT

14h30 - 15h00 Gestion mémoire multi-stratégies pour une plate-forme
multi-languages
        A. LUX ET B. ZOPPIS
        *Laboratoire GRAVIR-IMAG
        INRIA Rhônes-Alpes

15h00 - 15h30 Aspects de la programmation d'applications Win32 avec un
langage fonctionnel
        R. PUCELLA*, E. MEIJER** ET D. OLIVA*
        *Bell Laboratories Lucent Technology
        **Université d'Utrecht, Department of Computer Science

16h00 Fin des Journées

La page descriptive des jfla99 se trouve en:

        http://cristal.inria.fr/~weis/jfla99/

Inscrivez-vous !

À bientôt aux JFLA
Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:17 MET