Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* JFLA'99
@ 1998-12-21 10:16 Pierre Weis
  0 siblings, 0 replies; only message in thread
From: Pierre Weis @ 1998-12-21 10:16 UTC (permalink / raw)
  To: caml-list

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





^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1998-12-21 10:17 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-12-21 10:16 JFLA'99 Pierre Weis

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox