appel aux communications JFLA'2001

From: Pierre CASTERAN (pierre.casteran@labri.u-bordeaux.fr)
Date: Tue Jun 06 2000 - 09:40:57 MET DST

  • Next message: Pierre Weis: "Re: Typing of patterns"

    (This message is intentionally written in French)

    * FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER

     APPEL AUX COMMUNICATIONS 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.

    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



    This archive was generated by hypermail 2b29 : Tue Jun 06 2000 - 17:38:09 MET DST