[Caml-list] Appel à communication, JFLA 2013

[Caml-list] Appel à communication, JFLA 2013

[Damien Pous]

    * Merci de faire circuler : second appel à communication *
         * date limite de soumission : 12 octobre 2012 *

              JFLA'2013 (http://jfla.inria.fr/2013/)

          Journées Francophones des Langages Applicatifs

                    Organisées par l'INRIA,
            à Aussois, du 3 février au 6 février 2013


Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, et des objets mathématiques qui sous-tendent ces
outils. Ces domaines doivent être pris au sens large : nous souhaitons
avant tout favoriser les ponts entre les différentes thématiques :

. Langages fonctionnels et applicatifs : sémantique, compilation,
  optimisation, typage, mesures, extensions par d'autres paradigmes.

. Assistants de preuve : implémentation, nouvelles tactiques,
  développements présentant un intérêt technique ou méthodologique.

. Logique, correspondance de Curry-Howard, réalisabilité, extraction
  de programmes, modèles.

. Spécification, prototypage, développements formels d'algorithmes.

. Utilisation industrielle des langages fonctionnels et applicatifs,
  ou des méthodes issues des preuves formelles, outils pour le web.

Les articles soumis aux JFLA sont relus par au moins deux personnes
s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques
des relecteurs sont toujours bienveillantes et la plupart du temps
encourageantes et constructives, même en cas de rejet.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !


Nous accepterons cette année deux types de soumissions :

. article de recherche de quinze pages au plus, portant sur des
  travaux originaux. Nous accepterons volontier des travaux en cours
  (pour lesquels l'aspect recherche n'est pas entièrement terminé) ;
  dans tous les cas, la forme de l'article devra être soignée.

  Les articles sélectionnés seront publiés dans les actes de la
  conférence, les auteurs seront invités à faire une présentation en
  vingt-cinq minutes lors des journées.

. proposition d'exposé court (dix minutes) pour décrire prototype,
  faire une démonstration d'un outil, reparler d'un article déjà
  publié, rechercher de l'aide pour résoudre un problème particulier.

  Dans ce cas, nous vous demandons seulement de soumettre un résumé de
  deux à trois pages, qui nous permettra de sélectionner les orateurs
  en cas de forte affluence.


Comité de programme
-------------------
        Damien Pous, Président (CNRS -- ENS Lyon)

        Christine Tasson, Vice présidente (PPS -- Université Paris Diderot)

        Jade Alglave (University of Oxford)

        David Baelde (ITU Copenhague)

        Pierre-Malo Deniélou (Royal Holloway, University of London)

        Pascal Fradet (INRIA Rhône-Alpes)

        Samuel Mimram (CEA Saclay)

        Yann Régis-Gianas (Université Paris VII)

        Matthieu Sozeau (INRIA Paris -- Rocquencourt)

        Nicolas Tabareau (INRIA Nantes)

        Enrico Tassi (LIX -- École Polytechnique)

        Lionel Vaux (IML -- Université de la Méditerranée)


Soumission
----------
Date limite de soumission : 12 octobre 2012

Les soumissions doivent être déposées sur Easychair, à l'adresse
suivante :

    	 https://www.easychair.org/conferences/?conf=jfla2013

Elles peuvent être rédigées en anglais, mais elles sont limitées à 15
pages A4 et le style LaTeX est imposé :

         http://jfla.inria.fr/2013/actes.sty

Merci de signaler vos intentions de soumissions au plus tôt, par email
au président du comité de programme.

Dates importantes
-----------------
12 octobre 2012 : Date limite de soumission
16 novembre 2012 : Notification aux auteurs
7 décembre 2012 : Remise des articles définitifs
10 janvier 2013 : Date limite d'inscription aux journées
3 février au 6 février 2013 : Journées


Pour tout renseignement d'ordre administratif, contacter
--------------------------------------------------------
Danièle Herzog
INRIA Rhône-Alpes,

Bureau des cours et colloques
655 Avenue de l'Europe, Montbonnot
38 334 St Ismier Cedex - France
Tel : +33 (0)4 76 61 52 23 - Fax : +33 (0)4 56 52 71 90
email : colloques@inrialpes.fr

http://jfla.inria.fr/2013/

[Caml-list] Appel à communication, JFLA 2013

[Damien Pous]

    * Merci de faire circuler : premier appel à communication *

              JFLA'2013 (http://jfla.inria.fr/2013/)

          Journées Francophones des Langages Applicatifs

                    Organisées par l'INRIA,
            à Aussois, du 3 février au 6 février 2013


Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, et des objets mathématiques qui sous-tendent ces
outils. Ces domaines doivent être pris au sens large : nous souhaitons
avant tout favoriser les ponts entre les différentes thématiques :

. Langages fonctionnels et applicatifs : sémantique, compilation,
  optimisation, typage, mesures, extensions par d'autres paradigmes.

. Assistants de preuve : implémentation, nouvelles tactiques,
  développements présentant un intérêt technique ou méthodologique.

. Logique, correspondance de Curry-Howard, réalisabilité, extraction
  de programmes, modèles.

. Spécification, prototypage, développements formels d'algorithmes.

. Utilisation industrielle des langages fonctionnels et applicatifs,
  ou des méthodes issues des preuves formelles, outils pour le web.

Les articles soumis aux JFLA sont relus par au moins deux personnes
s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques
des relecteurs sont toujours bienveillantes et la plupart du temps
encourageantes et constructives, même en cas de rejet.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !


Nous accepterons cette année deux types de soumissions :

. article de recherche de quinze pages au plus, portant sur des
  travaux originaux. Nous accepterons volontier des travaux en cours
  (pour lesquels l'aspect recherche n'est pas entièrement terminé) ;
  dans tous les cas, la forme de l'article devra être soignée.

  Les articles sélectionnés seront publiés dans les actes de la
  conférence, les auteurs seront invités à faire une présentation en
  vingt-cinq minutes lors des journées.

. proposition d'exposé court (dix minutes) pour décrire prototype,
  faire une démonstration d'un outil, reparler d'un article déjà
  publié, rechercher de l'aide pour résoudre un problème particulier.

  Dans ce cas, nous vous demandons seulement de soumettre un résumé de
  deux à trois pages, qui nous permettra de sélectionner les orateurs
  en cas de forte affluence.


Comité de programme
-------------------
        Damien Pous, Président (CNRS -- ENS Lyon)

        Christine Tasson, Vice présidente (PPS -- Université Paris Diderot)

        Jade Alglave (University of Oxford)

        David Baelde (ITU Copenhague)

        Pierre-Malo Deniélou (Royal Holloway, University of London)

        Pascal Fradet (INRIA Rhône-Alpes)

        Samuel Mimram (CEA Saclay)

        Yann Régis-Gianas (Université Paris VII)

        Matthieu Sozeau (INRIA Paris -- Rocquencourt)

        Nicolas Tabareau (INRIA Nantes)

        Enrico Tassi (LIX -- École Polytechnique)


Soumission
----------
Date limite de soumission : 12 octobre 2012

Les soumissions doivent être déposées sur Easychair, à l'adresse
suivante :

    	 https://www.easychair.org/conferences/?conf=jfla2013

Elles peuvent être rédigées en anglais, mais elles sont limitées à 15
pages A4 et le style LaTeX est imposé :

         http://jfla.inria.fr/2013/actes.sty


Dates importantes
-----------------
12 octobre 2012 : Date limite de soumission
16 novembre 2012 : Notification aux auteurs
7 décembre 2012 : Remise des articles définitifs
10 janvier 2013 : Date limite d'inscription aux journées
3 février au 6 février 2013 : Journées


Pour tout renseignement d'ordre administratif, contacter
--------------------------------------------------------
Danièle Herzog
INRIA Rhône-Alpes,

Bureau des cours et colloques
655 Avenue de l'Europe, Montbonnot
38 334 St Ismier Cedex - France
Tel : +33 (0)4 76 61 52 23 - Fax : +33 (0)4 56 52 71 90
email : colloques@inrialpes.fr

http://jfla.inria.fr/2013/