[ The Types Forum (announcements only),
SECOND CALL FOR PAPERS SECOND CALL FOR PAPERS
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.
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) »
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
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