From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA02520 for caml-redistribution; Fri, 7 Jan 2000 19:33:46 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA24832 for ; Fri, 7 Jan 2000 10:21:53 +0100 (MET) From: dubois@lami.univ-evry.fr Received: from louis-blanc.univ-evry.fr (louis-blanc.univ-evry.fr [194.199.90.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA12593 for ; Fri, 7 Jan 2000 10:21:51 +0100 (MET) Received: from bach.lami.univ-evry.fr (root@bach.lami.univ-evry.fr [194.199.85.85]) by louis-blanc.univ-evry.fr with ESMTP (8.8.8/980318/990126/louis-blanc); id KAA14975; Fri, 7 Jan 2000 10:21:46 +0100 (MET) Received: (dubois@localhost) by bach.lami.univ-evry.fr (8.9.3/980318/980610/lami); id KAA19093; Fri, 7 Jan 2000 10:21:41 +0100 Message-Id: <200001070921.KAA19093@bach.lami.univ-evry.fr> Date: Fri, 7 Jan 2000 10:21:41 +0100 To: Alexandre.Miquel@inria.fr, aponte@cnam.fr, arnould@sic.sp2mi.univ-poitiers.fr, ayrault.p@free.fr, bel@cert.fr, caml-list@inria.fr, casteran@labri.u-bordeaux.fr, Catherine.Parent@imag.fr, dubois@lami.univ-evry.fr, dubois@lami.univ-evry.fr, emmanuel.ledinot@dassault-aviation.fr, foisseau@cert.fr, Frederic.Boniol@cert.fr, giavitto@lri.fr, havelund@ptolemy.arc.nasa.gov, Jocelyn.Serot@lasmea.univ-bpclermont.fr, Jun.Furuse@inria.fr, jv@cs.purdue.edu, karczma@info.unicaen.fr, Luc.Maranget@inria.fr, Marc.Pouzet@lip6.fr, marre@lri.fr, michel@lami.univ-evry.fr, msuperin@masterweb.it, Olivier.Pons@sophia.inria.fr, Pierre.Weis@inria.fr, surlog@club-internet.fr, Sylvain.Boulme@lip6.fr, Therese.Hardin@lip6.fr Subject: 2eme appel a participation JFLA2000 Sender: weis - FAITES CIRCULER - FAITES CIRCULER - FAITES CIRCULER - FAITES CIRCULER - ----------------------------------------------------------------------------- Veuillez nous excuser en cas de multiples receptions. ----------------------------------------------------------------------------- INSCRIVEZ VOUS VITE à JFLA2000 ! Avant le 15 janvier 2000 ! ----------------------------------------------------------------------------- JFLA2000 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 Arnould (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 à 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 de JFLA2000 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