(This message is intentionally written in French) * FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER APPEL AUX COMMUNICATIONS APPEL AUX COMMUNICATIONS JFLA2000 Journées Francophones des Langages Applicatifs Organisées par l'INRIA et l'Université d'Evry 31 janvier - 1er février 2000 JFLA'2000 est la onzième conférence francophone organisée autour des langages applicatifs. Ces nouvelles journées se tiendront les 31 janvier et 1er février 2000. Elles auront lieu au bord de la mer, au Mont Saint-Michel. 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. Outre son intérêt traditionnel pour la théorie et les applications pratiques des langages applicatifs, la conférence élargit cette année ses préoccupations aux aspects sûreté du logiciel et enseignement de la programmation fonctionnelle. C'est pourquoi des contributions sur les thèmes suivants sont particulièrement recherchées : - Spécification, prototypage, développements formels d'algorithmes - Preuves de propriétés de programmes ou d'algorithmes à l'aide d'assistants à la preuve - Utilisation industrielle de langages fonctionnels - Programmation fonctionnelle et enseignement - Langages fonctionnels : sémantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation. Orateurs invités ---------------- Richard Kieburtz Oregon Graduate Institute, Portland, USA Bruno Marre LRI Orsay, France Comité de programme ------------------- Catherine Dubois, Présidente Université d'Evry, France Maria-Virginia Aponte CNAM Paris, France Pierre Castéran Université de Bordeaux, France Klaus Havelund Nasa, USA Emmanuel Ledinot Dassault-Aviation, France Luc Maranget INRIA Rocquencourt, France Catherine Parent IMAG, Grenoble, France Marc Pouzet Université Paris 6, France Jan Vitek Université de Purdue, USA Soumission ---------- Date limite de soumission : 1er octobre 1999 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/2000/jfla2000.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 jfla2000 dans le titre de votre message, à l'adresse suivante : dubois@lami.univ-evry.fr Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 1er octobre 1999 : Date limite de soumission 12 novembre 1999 : Notification aux auteurs 10 décembre 1999 : Remise des articles définitifs 31 janvier / 1er février 2000 : Journées Pour tout renseignement, contacter ---------------------------------- Florence Balax INRIA Rocquencourt Bureau des Cours et Colloques (JFLA2000) 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/2000