From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA30122; Tue, 26 Nov 2002 15:28:11 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA30155 for ; Tue, 26 Nov 2002 15:28:10 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gAQEPwX09668; Tue, 26 Nov 2002 15:25:58 +0100 (MET) Received: from pc8-123 (mail@pc8-123 [129.175.8.123]) by lri.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id gAQEN4R07098 ; Tue, 26 Nov 2002 15:23:04 +0100 (MET) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 18GgcB-0005Ah-00; Tue, 26 Nov 2002 15:23:03 +0100 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15843.33734.963661.332023@lri.lri.fr> Date: Tue, 26 Nov 2002 15:23:02 +0100 To: filliatr@lri.lri.fr Subject: [Caml-list] Call for participation * JFLA 2003 * Appel a participation X-Mailer: VM 6.93 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Call for participation / Appel a participation JOURNEES FRANCOPHONES DES LANGAGES APPLICATIFS INRIA 27 et 28 janvier 2003 Chamrousse, France http://pauillac.inria.fr/jfla/2003 We are now able to send you the definitive programm of the 14th JFLA (French speaking workshop on applicative programming) ; please find all necessary information and tools for your inscription at the following site : http://pauillac.inria.fr/jfla/2003 You will find some useful adresses at the end of this mail too. Due to the french speaking specificity of our workshop, the rest of this mail will use this language. Le programme des 14èmes JFLA est maintenant établi ; vous trouverez auprès du site des journées http://pauillac.inria.fr/jfla/2003 tout renseignement nécessaire à votre inscription. Des renseignements utiles se trouvent également en fin de ce message. Jean-Christophe Filliâtre Programme (En français / in french) Lundi 27 janvier 2003 9h - 10h Conférence invitée (TITRE À DÉTERMINER) Alain Chillès, professeur de classes préparatoires à Lyon. 10h - 10h30 Pause-café 10h30 - 11h Les avertissements du filtrage Luc Maranget (INRIA Rocquencourt) 11h - 11h30 Calcul statique des applications de modules paramétrés J. Signoles 11h30 - 12h00 Another Implementation Technique for Functional Programming Languages R. Boulifa et M. Mezghiche 12h00 - 16h30 Déjeuner et excursion 16h 30 - 17h00 Pause café 17h00 - 17h30 Un système X Raisonner formellement sur les programmes ML S. Baro et P. Manoury 17h30 - 18h00 Réutilisation de preuves formelles : Une étude pour le système FoC C. Dubois, J. Grandguillot et M. Jaume 18h00 - 18h30 Filtrage et règles de réécriture sur des structures indexées par des groupes J. Cohen, O. Michel et J.-L. Giavitto 18h30 - 19h00 Démonstrations Mardi 28 janvier 2003 9h00 - 10h00 Conférence invitée (TITRE À DÉTERMINER) Jean-Marc Eber, spécialiste de l'informatique financière. 10h00- 10h30 Pause-café 10h30 - 11h00 A Parametrized Polyvariant Bytecode Verifier L. Henrio et B. P. Serpette 11h00 - 11h30 Analyse de robustesse de systèmes avioniques Y. Ait Ameur, F. Boniol, S. Pairault et V. Wiels 11h30 - 12h00 L'expérience SCOL, un langage pour des applications internet multi-utilisateurs A.-G. Bosser et F. Alberti 12h00 - 13h30 Déjeuner 13h30 - 14h00 CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml J. Falcou et J. Sérot 14h - 14h30 Synthèse de types pour Bulk Synchronous Parallel ML F. Gava et F. Loulergue 14h30 - 15h30 Démonstrations et Pause café 15h30 Fin des Journées Comité de programme Jean-Christophe Filliatre (Président) Université Paris Sud Pierre Crégut France Télécom R&D Emmanuel Chailloux Université Pierre et Marie Curie Xavier Leroy INRIA Rocquencourt Claude Marché Université Paris Sud Alexandre Miquel Université Paris Sud Olivier Pons CNAM Christophe Raffalli Université de Savoie Jérôme Vouillon Université Denis Diderot Yves Bertot INRIA Sophia-Antipolis Informations pratiques (En français / in french) ------------------------------------------------- En priorité, vous pouvez consulter toute information sur le site des journées http://pauillac.inria.fr/jfla/2003 où vous trouverez un bulletin d'inscription et des renseignements mis régulièrement à jour. Les renseignements ci-dessous ont donc un but purement informatif. Lieu ---- Les Journées auront lieu à Chamrousse (Isère), à l'hôtel "La Datcha" (http://www.hotelladatcha.com/) Accés ----- Consulter le site de la conférence. Actes des journées ------------------ Les actes seront édités par l'INRIA et distribués lors des journées. Excursion --------- Une excursion en montagne est prévue ; si vous souhaitez participer à cette excursion, n'oubliez pas de le mentionner sur le formulaire d'inscription. Droits d'inscription (TVA 20,6% incluse) ---------------------------------------- Tarif participant - en chambre individuelle : 335 euros TTC - en chambre double : 255 euros TTC Les droits d'inscription comprennent : - la participation aux journées - les actes des journées - les pauses-café - l'hébergement en pension complète, en chambre individuelle ou double du dimanche 26 janvier au soir (dîner inclus) au mardi 28 janvier fin d'après-midi. Attention : le nombre de chambres est limité. Modalités d'inscription ----------------------- Pour des raisons de contraintes d'hébergement, les inscriptions après le 31 décembre 2002 ne seront pas garanties. Seules les inscriptions accompagnées du règlement seront prises en compte. Modalités de paiement --------------------- - par bon de commande à l'INRIA, joint au formulaire d'inscription, - par chèque, à l'ordre de l'Agent Comptable de l'INRIA, joint au formulaire d'inscription, - par virement bancaire (renseignements donnés lors de l'inscription) Annulation ---------- Le remboursement des frais d'inscription sera possible pour toute demande écrite parvenant au secrétariat 8 jours avant le début des journées (cachet de la poste faisant foi). Aucun remboursement ne sera effectué au-delà de cette date. Information ----------- INRIA Rocquencourt Bureau des Cours et Colloques (JFLA2003) Domaine de Voluceau - BP 105 78153 Le Chesnay Cedex Tél.: +33 (0) 1 39 63 50 53 - Fax : +33 (0) 1 39 63 56 38 Mél. : symposia@inria.fr http://pauillac.inria.fr/jfla/2003 ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners