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 VAA27518; Thu, 11 Dec 2003 21:06:51 +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 VAA27506 for ; Thu, 11 Dec 2003 21:06:50 +0100 (MET) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hBBK6kr17361 for ; Thu, 11 Dec 2003 21:06:47 +0100 (MET) Received: from calfor.lip6.fr (calfor.lip6.fr [132.227.66.193]) by isis.lip6.fr (8.12.10/jtpda-5.4+victor) with ESMTP id hBBK6jRc017901 for ; Thu, 11 Dec 2003 21:06:45 +0100 X-pt: isis.lip6.fr Received: from realarith.lip6.fr (realarith.lip6.fr [132.227.66.34]) by calfor.lip6.fr (8.11.6/jtpda-5.2) with ESMTP id hBBK8Kw05884 for ; Thu, 11 Dec 2003 21:08:20 +0100 Received: from (vmm@localhost) by realarith.lip6.fr (8.11.6/jtpda-5.2) id hBBK73s24578 for caml-list@inria.fr; Thu, 11 Dec 2003 21:07:03 +0100 Date: Thu, 11 Dec 2003 21:07:03 +0100 From: Valerie Menissier Morain To: caml-list@inria.fr Message-ID: <20031211210703.A24576@calfor.lip6.fr> Mail-Followup-To: Valerie Menissier Morain , caml-list@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.2.5i X-Scanned-By: isis.lip6.fr X-Loop: caml-list@inria.fr X-Spam: no; 0.00; valerie:01 valerie:01 jfla:01 2004:99 jfla:01 2004:99 francophones:01 langages:01 applicative:01 cachan:99 typage:01 typage:01 souple:99 cohen:01 lami:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Call for participation * JFLA 2004 * Appel a participation Call for participation / Appel a participation JFLA2004 Journées Francophones des Langages Applicatifs Organisées par l'INRIA 26 et 27 janvier 2004 Sainte-Marie-de-Ré, France http://pauillac.inria.fr/jfla/2004 We are now able to send you the definitive programm of the 15th 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/2004 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 15èmes JFLA est maintenant établi ; vous trouverez auprès du site des journées http://pauillac.inria.fr/jfla/2004 tout renseignement nécessaire à votre inscription. Des renseignements utiles se trouvent également en fin de ce message. Valérie Ménissier-Morain Programme (En français / in french) ----------------------------------- Lundi 26 janvier 2004 9h - 10h Conférence invitée Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve? Jean-Goubault-Larrecq, (LSV, ENS Cachan) 10h - 10h30 Pause-café 10h30 - 11h Ocaml-templates, génération de code à partir des types François Maurel (PPS, Paris 7) 11h - 11h30 Typage fort et typage souple des collections topologiques Julien Cohen (LAMI, Évry) 11h30 - 12h00 Une bibliothèque certifiée de programmes fonctionnels BSP Frédéric Gava (LACL, Paris 12) 12h00 - 16h00 Déjeuner et excursion 16h00 - 16h30 Pause café 16h30 - 17h00 Une procédure de décision réflexive pour un fragment de l'arithmétique de Presburger Pierre Crégut (France-Télécom R & D - DTL/TAL) 17h00 - 17h30 Gb: une procédure de décision pour le système Coq Jérôme Créci (Saarbrucken), Loïc Pottier (INRIA Sophia-Antipolis) 18h00 - 19h00 Table ronde: La place et la pratique du test dans la programmation fonctionnelle. Mardi 27 janvier 2004 9h00 - 10h00 Conférence invitée Certification d'un compilateur: enjeux, problèmes et approches Xavier Leroy (INRIA Rocquencourt) 10h00- 10h30 Pause-café 10h30 - 11h00 Application du toplevel embarqué d'Objective Caml Clément Capel, Emmanuel Chailloux (PPS, Paris 7), Jean-Marc Eber (LexiFi SAS) 11h00 - 11h30 GlSurf: maths et dessins en Ocaml Christophe Raffalli (Laboratoire de Mathématiques, Univ. Savoie) 11h30 - 12h00 Formalisation en Coq d'un cours de géométrie pour le lycée Frédérique Guilhot (INRIA Sophia-Antipolis) 12h00 - 13h30 Déjeuner 13h30 - 14h00 Évaluation de l'extensibilité de PhoX: B/PhoX un assistant de preuves pour B Jérôme Rocheteau, Samuel Colin, Georges Mariano, Vincent Poirriez (INRETS-ESTAS, Valenciennes) 14h00 - 14h30 Algorithmes et complexités de la réduction statique minimale Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes (INRIA Sophia-Antipolis) 14h30 - 15h00 Programmation paramétrée en ML et automates d'architecture Philippe Narbel (LaBRI, Bordeaux I) 15h00 - 16h30 Démonstrations et Pause café 16h30 Fin des Journées Comité de programme ------------------- Valérie Ménissier-Morain (Présidente) LIP6, Paris 6 Sylvain Boulmé LSR, INPG Claude Feliot ALSTOM TRANSPORT Pascal Fradet INRIA Rhône-Alpes Hugo Herbelin INRIA Futurs Michel Mauny INRIA Rocquencourt Olivier Michel LAMI, Université Évry-Val d'Essonne Marc Pantel LIMA, ENSEEIHT Laurent Théry INRIA Sophia-Antipolis Olivier Zendra INRIA-Lorraine 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/2004 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 à Sainte-Marie-de-Ré (Charentes-Maritimes), à l'hôtel "Les grenettes" (http://www.hotel-les-grenettes.com/) Accés ----- Consulter le site de la conférence. Excursion --------- Il n'y a pas d'excursion particulière prévue, mais il est possible de louer des vélos pour se balader dans l'île. S'il y a suffisamment de gens intéressés, l'hôtel peut organiser un circuit de 2 ou 3 heures. Si vous êtes intéressés, n'oubliez pas de le mentionner sur le formulaire d'inscription. Actes des journées ------------------ Les actes seront édités par l'INRIA et distribués lors des journées. Droits d'inscription (TVA 20,6% incluse) ---------------------------------------- Tarif participant - en chambre individuelle : 230 euros TTC - en chambre double : 190 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 25 janvier au soir (dîner inclus) au mardi 27 janvier fin d'après-midi. Modalités d'inscription ----------------------- 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 (JFLA2004) 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/2004 ------------------- 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