From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA26368 for caml-red; Fri, 7 Jul 2000 16:47:47 +0200 (MET DST) 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 IAA29745 for ; Fri, 7 Jul 2000 08:46:20 +0200 (MET DST) Received: from batman.labri.u-bordeaux.fr (batman.labri.u-bordeaux.fr [147.210.8.5]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e676kJn27205 for ; Fri, 7 Jul 2000 08:46:20 +0200 (MET DST) Received: from ailleurs.labri.u-bordeaux.fr (root@ailleurs [147.210.9.222]) by batman.labri.u-bordeaux.fr (8.8.7/8.8.7) with ESMTP id IAA02948 for ; Fri, 7 Jul 2000 08:48:33 +0200 (MET DST) Received: (from casteran@localhost) by ailleurs.labri.u-bordeaux.fr (8.9.3/8.8.8/Debian/GNU) id IAA19521; Fri, 7 Jul 2000 08:46:18 +0200 Date: Fri, 7 Jul 2000 08:46:18 +0200 Message-Id: <200007070646.IAA19521@ailleurs.labri.u-bordeaux.fr> From: Pierre CASTERAN To: caml-list@inria.fr Subject: JFLA 2001 : 2nd call for communications (in french) Sender: weis@pauillac.inria.fr (Sorry if you receive multiple copies ) (This message is intentionally written in French) * FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER SECOND APPEL AUX COMMUNICATIONS SECOND APPEL AUX COMMUNICATIONS JFLA2001 Journées Francophones des Langages Applicatifs Organisées par l'INRIA et le LaBRI (Bordeaux) 29 et 30 janvier 2001 JFLA'2001 est la douzième conférence francophone organisée autour des langages applicatifs. Ces nouvelles journées se tiendront les 29 et 30 janvier 2001. Elles auront lieu en montagne, très probablement dans le Jura, dans la station de Metabief. On pourra consulter le site http://www.interfrance.com/fr/fc/ski_metabief-MD.html Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs, au sens large, en réunissant les concepteurs et les 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, dont le développement est depuis longtemps lié à la programmation applicative, et pour 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 de 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 ---------------- Gilles Dowek (Projet Coq, INRIA Rocquencourt) Christian Queinnec (LIP6) Comité de programme ------------------- Pierre Castéran, Président (Labri,Université Bordeaux I) Philippe Ayrault (Surlog) Bruno Barras (Trusted Logic) Tristan Crolard (Paris 12) Olivier Danvy (Brics, Université d'Aarhus, Danemark) Georges Gonthier (Inria) Valérie Ménissier-Morain (LIP6) Jean-François Monin (France Telecom R & D) Benjamin Werner (Inria) Soumission ---------- Date limite de soumission : 29 septembre 2000 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/2001/jfla2001.sty Il est préférable de soumettre électroniquement sous la forme d'un fichier postscript, imprimable directement depuis Unix. Les actes seront édités par l'INRIA. Les soumissions sont à envoyer au président du comité de programme, en mentionnant jfla2001 dans le titre de votre message, à l'adresse suivante : casteran@labri.u-bordeaux.fr Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 29 septembre 2000 : Date limite de soumission 13 novembre 2000 : Notification aux auteurs 11 décembre 2000 : Remise des articles définitifs 29 et 30 janvier 2001 : Journées Pour tout renseignement, contacter ---------------------------------- Florence Balax INRIA Rocquencourt Bureau des Cours et Colloques (JFLA2001) 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/2001