JFLA2001 : Second Appel / Second Call for Papers

JFLA2001 : Second Appel / Second Call for Papers

[Pierre CASTERAN]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 6598 bytes --]


(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