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