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 QAA15846; Thu, 5 Jul 2001 16:19:13 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15854 for caml-list@pauillac.inria.fr; Thu, 5 Jul 2001 16:19:13 +0200 (MET DST) 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 OAA13446 for ; Thu, 5 Jul 2001 14:58:01 +0200 (MET DST) Received: from ploum.inria.fr (ploum.inria.fr [138.96.89.5]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f65Cs8D18522; Thu, 5 Jul 2001 14:54:08 +0200 (MET DST) Received: by ploum.inria.fr (8.11.1/8.10.0) id f65CrFT28268 for jfla2002mls; Thu, 5 Jul 2001 14:53:15 +0200 X-Return-Path: Received: from sophia.inria.fr by ploum.inria.fr (8.11.1/8.10.0) with ESMTP id f65CrE128263; Thu, 5 Jul 2001 14:53:14 +0200 Received: from ploum.inria.fr by sophia.inria.fr (8.11.1/8.10.0) with ESMTP id f65CrD717239; Thu, 5 Jul 2001 14:53:13 +0200 (MET DST) Received: from ploum.inria.fr by ploum.inria.fr (8.11.1/8.10.0) with ESMTP id f65CrDu28258; Thu, 5 Jul 2001 14:53:13 +0200 Message-Id: <200107051253.f65CrDu28258@ploum.inria.fr> X-Mailer: exmh version 2.3.1 01/18/2001 To: jfla2002@sophia.inria.fr, caml-list@inria.fr, coq-club@pauillac.inria.fr Cc: Laurence.Rideau@sophia.inria.fr Subject: [Caml-list] JFLA 2002 : Deuxieme appel a communications Content-Transfer-Encoding: 8bit Date: Thu, 05 Jul 2001 14:53:13 +0200 From: Laurence Rideau Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk (This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME APPEL AUX COMMUNICATIONS JFLA2002 Journées Francophones des Langages Applicatifs Organisées par l'INRIA 28 et 29 janvier 2002 JFLA'2002 est la treizième conférence francophone organisée autour des langages applicatifs et les techniques de certification basées sur la démonstration. Ces nouvelles journées se tiendront les 28 et 29 janvier 2002. Elles auront lieu à Anglet près de Biarritz. Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs et les techniques de certification, en réunissant concepteurs et utilisateurs dans un cadre sympathique. Les thèmes principaux des JFLA sont traditionnellement la théorie et les applications pratiques des langages applicatifs; de plus, la conférence confirme son intérêt pour les systèmes d'assistance à la démonstration de théorèmes et l'enseignement de la programmation. C'est pourquoi des contributions sur les thèmes suivants sont particulièrement recherchées (liste non exclusive) : - Langages fonctionnels : sémantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation. - Spécification, prototypage, développements formels d'algorithmes. - Utilisation industrielle des langages fonctionnels. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intéret technique ou méthodologique. - Programmation applicative et enseignement de la programmation. Orateurs invités ---------------- Thérèse Hardin (Paris 6) Yves Bertot (Projet Lemme, Inria Sophia) Comité de programme ------------------- Laurence Rideau, Présidente (Inria Sophia Antipolis) Stefano Berardi (Université de Turin) Jean-Marc Eber (Lexifi Technologies, Paris) Daniel Hirschkoff (ENS Lyon) Jean-Francois Monin (France Telecom, Lannion) Philippe Narbel (Labri, Université de Bordeaux) Julian Padget (Université de Bath) François Pottier (Inria Rocquencourt) Bernard Serpette (Inria Sophia) Davide Sangiorgi (Inria Sophia) Soumission ---------- Date limite de soumission : 28 septembre 2001 Les soumissions doivent être soit rédigées en français, soit présentées en français. Elles sont limitées à 15 pages A4. Le style latex est imposé et se trouve sur le site WEB des journées à l'adresse suivante : http://pauillac.inria.fr/jfla/2002/actes.sty La soumission est uniquement électronique, selon la méthode détaillée dans http://pauillac.inria.fr/jfla/2002/instructions-fra.html Les soumissions sont à envoyer à la présidente du comité de programme, avec pour titre de votre message ``SOUMISSION JFLA'', à l'adresse suivante : Laurence.Rideau@inria.fr Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 28 septembre 2001 : Date limite de soumission 12 novembre 2001 : Notification aux auteurs 10 décembre 2001 : Remise des articles définitifs 28 et 29 janvier 2002 : Journées Pour tout renseignement, contacter ---------------------------------- INRIA Rocquencourt Bureau des Cours et Colloques (JFLA2002) 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 email : symposia@inria.fr http://pauillac.inria.fr/jfla/2002 ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr