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 PAA11982; Fri, 5 Sep 2003 15:40:40 +0200 (MET DST) 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 PAA12606 for ; Fri, 5 Sep 2003 15:40:39 +0200 (MET DST) 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 h85DeTf17541 for ; Fri, 5 Sep 2003 15:40:29 +0200 (MET DST) Received: from calfor.lip6.fr (calfor.lip6.fr [132.227.66.193]) by isis.lip6.fr (8.12.9/jtpda-5.4+victor) with ESMTP id h82JM6eC026286 for ; Tue, 2 Sep 2003 21:22:06 +0200 X-pt: isis.lip6.fr Received: from realg.lip6.fr (IDENT:O1iIKJSFlrBkqFWPsiVVGFi5CqYGvzJn@realg.lip6.fr [132.227.66.16]) by calfor.lip6.fr (8.11.6/jtpda-5.2) with ESMTP id h82JNFH18136 for ; Tue, 2 Sep 2003 21:23:15 +0200 Received: from (vmm@localhost) by realg.lip6.fr (8.11.6/jtpda-5.2) id h82JMRg27066 for caml-list@inria.fr; Tue, 2 Sep 2003 21:22:27 +0200 Date: Tue, 2 Sep 2003 21:22:27 +0200 From: Valerie Menissier Morain To: caml-list@inria.fr Subject: [Caml-list] =?iso-8859-1?Q?JFLA_2004_:_Deuxi=E8me_appel_=E0_communications?= Message-ID: <20030902212227.A27063@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 2004:99 circuler:01 circuler:01 jfla:01 francophones:01 langages:01 jfla':01 langages:01 basees:01 tiendront:01 2004.:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk NOUVEAU: numéro spécial JFLÁ2004 de TSI (voir à la fin) ------- (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 JFLA2004 Journées Francophones des Langages Applicatifs Organisées par l'INRIA 26 et 27 janvier 2004 JFLA'2004 est la quinziè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 26 et 27 janvier 2004. Elles auront lieu à la mer à Sainte-Marie-de-Ré (Charente-Maritime). 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 ---------------- Jean Goubault-Larrecq (LSV, Ens Cachan) Xavier Leroy (INRIA Rocquencourt) Comité de programme ------------------- Valérie Ménissier-Morain, Présidente (LIP6, Université Pierre et Marie Curie) Sylvain Boulmé (LSR, INPG) Claude Feliot (ALSTOM TRANSPORT) Pascal Fradet (projet Lande, IRISA) Hugo Herbelin (projet Logical, INRIA Futurs) Michel Mauny (projet Cristal, INRIA Rocquencourt) Olivier Michel (LAMI, Université Évry-Val d'Essonne) Marc Pantel (LIMA, ENSEEIHT) Laurent Théry (projet Lemme, INRIA Sophia-Antipolis) Olivier Zendra (projet DESIGN, INRIA-Lorraine/LORIA) Soumission ---------- Date limite de soumission : 3 octobre 2003 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/2004/actes.sty La soumission est uniquement électronique, selon la méthode détaillée dans http://pauillac.inria.fr/jfla/2004/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 : Valerie.Menissier-Morain@lip6.fr LES INTENTIONS DE SOUMISSION ENVOYÉES LE PLUS TÔT POSSIBLE À L'ADRESSEu CI-DESSUS SERONT LES BIENVENUES. Numéro spécial TSI ------------------ Le Comité de programme proposera aux auteurs des meilleurs articles de la conférence de soumettre une version étendue (25 pages au format journal) pour un numéro spécial de TSI. Dates importantes ----------------- 3 octobre 2003 : Date limite de soumission 14 novembre 2003 : Notification aux auteurs 08 décembre 2003 : Remise des articles définitifs 26 et 27 janvier 2004 : Journées Pour tout renseignement, contacter ---------------------------------- 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 email : symposia@inria.fr http://pauillac.inria.fr/jfla/2004 -- Valérie Ménissier-Morain Email: Valerie.Menissier@lip6.fr Laboratory: Laboratoire d'Informatique de Paris 6 Thema: CALFOR Université Pierre et Marie Curie - 4, Place Jussieu - F-75252 Paris 05 Tel.: 33 1 44 27 87 35 Fax: 33 1 44 27 88 78 Url: http://www-calfor.lip6.fr/~vmm/ ------------------- 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