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 JAA00237 for caml-red; Mon, 25 Sep 2000 09:39:02 +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 IAA28078 for ; Mon, 25 Sep 2000 08:36:52 +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 e8P6ap508035 for ; Mon, 25 Sep 2000 08:36:51 +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 IAA07686 for ; Mon, 25 Sep 2000 08:39:29 +0200 (MET DST) Received: (from casteran@localhost) by ailleurs.labri.u-bordeaux.fr (8.9.3/8.8.8/Debian/GNU) id IAA06980; Mon, 25 Sep 2000 08:36:49 +0200 Date: Mon, 25 Sep 2000 08:36:49 +0200 Message-Id: <200009250636.IAA06980@ailleurs.labri.u-bordeaux.fr> From: Pierre CASTERAN To: caml-list@inria.fr Subject: JFLA2001 : Second Appel / Second Call for Papers Sender: weis@pauillac.inria.fr (Please apologize if you receive multiple copies of this message) SECOND APPEL AUX COMMUNICATIONS SECOND CALL FOR PAPERS JFLA2001 Journées Francophones des Langages Applicatifs French Speaking Conference on Applicative Programming Languages INRIA, LaBRI (Bordeaux) 29 et 30 janvier 2001 January 29th and 30th 2001 English text (Version Francaise plus bas) JFLA'2001 is the 12th french speaking conference on applicative programming languages; it will take place in the French Jura (sic) mountains, in the city of Pontarlier. The JFLA conferences aim to make designers and users of applicative languages meet in a nice place. Traditionnaly, the topics cover all theoretical and practical aspects of applicative languages; moreover, the JFLA reiterate their interest in proof assistants, the development of which has been, for a long time, linked with applicative programming. Teaching of programming is an important topic too. Here is a (non exclusive) list of topics : Functional programming : semantics, compiling, optimization, testing, extensions by other paradigms, Specification, prototyping, formal developments of algorithms, industrial use of applicative languages, Proof assistants : implementation, new tactics, examples of developments which present some technical:methodological interest, Applicative programming and teaching of computer science. Invited Speakers ---------------- Gilles Dowek (Projet Coq, INRIA Rocquencourt) Christian Queinnec (LIP6) Program Committee -------------- Pierre Castéran, Chairman (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) Submission ---------- Deadline for submission : Sept 29 th, 2000 All submissions must be either written and/or presented in French; They cannot have more than 15 pages; the LaTex style is mandatory and can be found on the web site of the conference : http://pauillac.inria.fr/jfla/2001/jfla2001.sty It is better to send a postscript file which can be directly printed under Unix; INRIA will edit the proceedings; the submissions must be sent to the president of the program committee, with "jfla2001" in the mail subject, at the following address : casteran@labri.u-bordeaux.fr Important dates ----------------- Sept 29th 2000 : Deadline for submission Nov 13th 2000 : Notification to the authors Dec 11th 2000 : Deadline for final text Jan 29-30th 2001 : Conference For all information, contact : ---------------------------------- 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 (Version Française) ******************* 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, à Pontarlier. 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