Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Pierre Weis <Pierre.Weis@inria.fr>
To: caml-list@inria.fr
Subject: JFLA'99
Date: Mon, 21 Dec 1998 11:16:41 +0100 (MET)	[thread overview]
Message-ID: <199812211016.LAA13445@pauillac.inria.fr> (raw)

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





                 reply	other threads:[~1998-12-21 10:17 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=199812211016.LAA13445@pauillac.inria.fr \
    --to=pierre.weis@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox