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 QAA22459; Fri, 16 Aug 2002 16:21:10 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 QAA22817 for ; Fri, 16 Aug 2002 16:21:09 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7GEHcj22042; Fri, 16 Aug 2002 16:17:38 +0200 (MET DST) Received: from serveur-mail.lri.fr (serveur-mail [129.175.8.90]) by lri.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id g7GDpCR14200 ; Fri, 16 Aug 2002 15:51:12 +0200 (MEST) Received: from pc803.lri.fr (mail@pc803 [129.175.8.114]) by serveur-mail.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id g7GDocx04549 ; Fri, 16 Aug 2002 15:50:38 +0200 (MEST) Received: from filliatr by pc803.lri.fr with local (Exim 3.33 #1 (Debian)) id 17fhUr-0002F6-00; Fri, 16 Aug 2002 15:50:37 +0200 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15709.813.376886.525540@pc803.lri.fr> Date: Fri, 16 Aug 2002 15:50:37 +0200 (MEST) To: filliatr@lri.fr Subject: [Caml-list] JFLA 2003: deuxième appel à communication X-Mailer: VM 6.49 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 (This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * DEUXIÈME APPEL AUX COMMUNICATIONS DEUXIÈME APPEL AUX COMMUNICATIONS JFLA2003 Journées Francophones des Langages Applicatifs Organisées par l'INRIA 27 et 28 janvier 2003 JFLA'2003 est la quatorziè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 27 et 28 janvier 2003. Elles auront lieu à la montagne, à Chamrousse (Isère). 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 ---------------- Un professeur de classe préparatoire et un représentant du milieu industriel viendront parler de l'utilisation de la programmation fonctionnelle dans leurs domaines respectifs. Comité de programme ------------------- Jean-Christophe Filliâtre, Président (Université Paris Sud) Yves Bertot (Inria Sophia Antipolis) 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 (Inria Rocquencourt) Olivier Pons (CNAM) Christophe Raffalli (Université de Savoie) Jérôme Vouillon (Université Denis Diderot) Soumission ---------- Date limite de soumission : 1er octobre 2002 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/2003/actes.sty La soumission est uniquement électronique, selon la méthode détaillée dans http://pauillac.inria.fr/jfla/2003/instructions-fra.html Les soumissions sont à envoyer au président du comité de programme, avec pour titre de votre message ``SOUMISSION JFLA'', à l'adresse suivante : Jean-Christophe.Filliatre@lri.fr Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 1er octobre 2002 : Date limite de soumission 11 novembre 2002 : Notification aux auteurs 09 décembre 2002 : Remise des articles définitifs 27 et 28 janvier 2003 : Journées Pour tout renseignement, contacter ---------------------------------- 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 email : 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