appel a participation JFLA2000

From: dubois@lami.univ-evry.fr
Date: Thu Dec 16 1999 - 11:51:10 MET


From: dubois@lami.univ-evry.fr
Message-Id: <199912161051.LAA25777@bach.lami.univ-evry.fr>
Date: Thu, 16 Dec 1999 11:51:10 +0100
To: caml-list@inria.fr
Subject: appel a participation JFLA2000

JFLA'2000
JOURNEES FRANCOPHONES DES LANGAGES APPLICATIFS
31 janvier - 1er février 2000
Le Mont Saint-Michel, France
 
INSCRIVEZ-VOUS DÈS MAINTENANT SUR LA TOILE (Avant le 15 janvier 2000):

http://pauillac.inria.fr/jfla/2000/inscription_jfla2000.html

OU BIEN PAR UN FORMULAIRE PAPIER :

http://pauillac.inria.fr/jfla/2000/formulaire.txt

Les onzièmes journeés francophones des langages applicatifs se
tiendront au Mont Saint Michel, en France, les 31 janvier et 1er
février 2000.
Hôtels Poulard "La Mère Poulard" et "Terrasses Poulard"
B.P. 18 - Grande Rue
50170 Le Mont Saint-Michel
Tél. : 02 33 60 14 01 et 02 33 60 14 09
Fax : 02 33 60 37 31
http://www.mere-poulard.fr/

Ces hôtels sont situés au pied du Mont Saint-Michel, au coeur de la
Cité Médiévale, au calme dans un cadre exceptionnel.

Le programme de la conférence est le suivant:

Dimanche 30 janvier 2000

18h00 - 20h00 Accueil

20h00 Dîner

Lundi 31 janvier 2000

8h30 Accueil - Présentation

9h00 - 10h00 Conférence invitée
Génération automatique de séquences de tests à partir de descriptions
Lustre : GATeL
Bruno Marre, Agnès Arnoult (Université de Paris-Sud, CNRS-LRI et
Université de Poitiers, SP2MI)

10h00 Pause-café

10h30 - 11h00 Traitement paresseux et optimisation des suites
numériques
Jerzy Karczmarczuk (Université de Caen)

11h00 - 11h30 Opérateurs de raffinement sur les structures
algébriques
Sylvain Boulmé (Université Paris 6, LIP6)

11h30 - 12h00 Affichage générique d'arbres &agrave;
l'aide de la géométrie hyperbolique
Alexandre Miquel (INRIA Rocquencourt)

12h00 Déjeuner

14h00 - 14h30 Modélisation et vérification de systèmes
intégrés asynchrones dans le langage synchrone Lustre : application
aux systèmes avioniques
Frédéric Boniol, Gérard Bel, Jack Foiseau (ONERA-CERT)

14h30 - 15h00 Safe value I/O in Caml
J. Furuse, P. Weis (INRIA Rocquencourt)

15h00 - 15h30 Un cadre pour la définition récursive
des structures de données
Jean-Louis Giavitto, Olivier Michel (Université de Paris-Sud,
CNRS-LRI et Université d'Evry LaMI)

15h30 Pause-café

16h00 - 16h30 Un compilateur CAML -> SYNDEX pour les
applications de traitement de signal temps-réel distribués
Jocelyn Serot (Université de Clermont, LASMEA)

16h30 - 17h30 Table ronde sur le thème "Enseignement de la programmation"
Animateur Pierre Weis (INRIA Rocquencourt)

17h30 - 18h30 démonstrations

Mardi 1er février 2000

9h00 - 10h00 Conférence invitée
Coalgebraic Techniques for Reactive Functional Programming
Richard Kieburtz (Oregon Graduate Institute)

10h00 Pause-café

10h30 - 12h00 Excursion "Découverte de la baie"

12h00 Déjeuner

14h00 - 14h30 Méthodologie de développement d'un
outil d'évaluation de la sûreté du logiciel en OCaml
Philippe Ayrault, Thérèse Hardin, Maxence Guesdon (SURLOG
et Université Paris 6, LIP6)

14h30 - 15h00 Ingénierie de preuve
Olivier Pons (Institut d'Informatique d'Entreprise, Cedric)

15h00 - 15h30 Buildoo
Marco Superina (Université de Nice Sophia Antipolis)

16h00 Fin des Journées

La page descriptive des JFLA'2000 se trouve à l'adresse
http://pauillac.inria.fr/jfla/2000

Démonstrations
Une plage horaire est prévue le lundi 31 janvier 2000 pour des démonstrations.
Toute personne intéressée à faire une démonstration est priée
d'envoyer un message à l'adresse suivante dubois@lami.univ-evry.fr
avec le sujet "démo JFLA2000".

Inscrivez-vous dès maintenant !

À bientôt aux JFLA

Catherine Dubois



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