------------------------------------------------- Due to numerous requests the deadline is extended to *** thursday 22 october 2009 *** ------------------------------------------------- LAST CALL FOR PAPERS LAST CALL FOR PAPERS 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 » Courses ----- 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) Submission ---------- Deadline : 22 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 : http://jfla.inria.fr/2010/actes.sty Submission is made electronically only following the method detailed in http://jfla.inria.fr/2010/instructions.fr.html 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 : ----------------- 22 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 : colloques@inrialpes.fr http://jfla.inria.fr/2010/