[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


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

               Journées Francophones des Langages Applicatifs
                        Organised by INRIA

                        from 30 January  to 02 February 2010

JFLA'2010 is the twenty-first french speaking conference
on functional programming and proofs technics.

Theses new days will be

            from 30 January  to 02 February 2010.

It takes place on the coast, at

            Vieux-Port La Ciotat, near Marseille.

Centered on functional programming approach, the conference also deals
with complementary technics and tools which upgrade software quality
(proof assistant system, rewriting, tests, automatic proof, verification).

JFLA bring together developers and users in a pleasant
setting that ease communications; this conference has the
ambition to cover applicative languages domain that allows
construction of software systems that are safer. The teaching of
functional approach of software development (specification,
semantics, programming, compilation, certification) is a subject
of major concern for the JFLA.

That is why contributions to the following topics are especially
awaited (non exhaustive list) :

- Fonctionnal and applicative languages : semantic, compilation,
  optimisation, measures, tests, extensions by other programming paradigms

- Specification, prototyping, formal development of algorithms.

- Industrial use of functional and applicative languages.

- Proof assistants : implementation, new tactics, developments
  presenting technical or methodologic interest.

- Teaching aspects when used in functional approach of development

For JFLA we are looking for original research articles
that brings real novelties.

Articles submited to  JFLA will be reviewed by at least 2
persons if it is accepted and by one more reader if it is to be rejected.
Reviewers' remarks are always benevolent and most of the time
encouraging and constructive, even in case of refusal.

Invited speakers
 Leslie Lamport (Microsoft): « Preuves et prouveur TLA+ »
 Christian Queinnec (Université Paris 6): « De la correction automatisée »

 Pierre Letouzey (Université paris 7): « (TBA) »
 Louis Mandel (Université Paris 11): « (TBA) »

Programm Comitee
        Micaela Mayero, Chairman (Université Paris 13)

        Sylvain Conchon, Vice Chairman (Université Paris 11)

        Assia Mahboubi (INRIA Saclay)

        Alan Schmitt (INRIA Grenoble - Rhône-Alpes)

        Pierre Courtieu (CNAM Paris)

        Damien Pous (CNRS Grenoble)

        Bruno Barras (INRIA Saclay)

        Bernard Serpette (INRIA Sophia Antipolis - Méditerranée)

        Manuel Serrano (INRIA Sophia Antipolis - Méditerranée)

        Damien Doligez (INRIA Paris - Rocquencourt)

Deadline : 15 October 2009

Proceedings would be published by Springer (LNCS), or Hermann («Studia Informatica Universalis»).

Submited papers have to be written either in french or presented in
french. Papers are limited to 15 pages A4. A mandatory Latex style is
provided at the following URL :


Submission is made electronically only following the method detailed in


Submissions are to be send to the chairman with the subject ``SOUMISSION JFLA 2010'', to the following
e-mail address :

             Micaela.Mayero [...@] lipn.univ-paris13.fr

Main dates :
15 October 2009 : Submission deadline
20 November 2009 : Authors notification
10 December 2009 : Camera ready copy due
15 January 2010 : Inscription deadline
from 30 January  to 02 February 2010 : Conference dates

Administrative contact :

INRIA Grenoble Rhône-Alpes
Bureau des Cours-Colloques
655 avenue de l'Europe - Montbonnot
38334 Saint Ismier Cedex - France

Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06
email : colloq...@inrialpes.fr


Reply via email to