JFLA 2007

27-30 janvier 2007 Aix-les-Bains

Description

Toujours centrée sur l'approche fonctionnelle de la programmation, la conférence a depuis l'an dernier élargi son spectre aux techniques et outils complémentaires qui élèvent niveau de qualité des logiciels (systèmes d'aide à la preuve, réécriture, tests, démonstration automatique, vérification).

Les JFLA réunissent concepteurs et utilisateurs dans un cadre agréable facilitant la communication; ces journées ont pour ambition de couvrir le domaine des langages applicatifs, en y incluant les apports d'outils d'autres domaines qui autorisent la construction de systèmes logiciels plus sûrs. L'enseignement de l'approche fonctionnelle du développement logiciel (spécification, sémantiques, programmation, compilation, certification) est également un sujet concernant fortement les JFLA.

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 des langages fonctionnels.
Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intéret technique ou méthodologique.
Enseignement dans ses aspects liés à l'approche fonctionnelle du développement.

Les inscriptions sont ouvertes :

Date limite d'inscription : 20 janvier 2007

Pour s'inscrire, il suffit de remplir le formulaire d'inscription et de le renvoyer à :

Gaelle Dorkeld
INRIA
Service IST
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex, France
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : symposia@inria.fr
http://jfla.inria.fr/2007/

Demandez le programme (préliminaire)

Les actes (préliminaire)

Conférenciers invités

Hassan Aït Kaci (Distinguished Scientist, ILOG)

Satisfaction modulo théories : application à la vérification de règles métiers par contraintes

Andrew Tolmach (Invited Professor, INRIA Rocquencourt)

Operating Systems in Haskell: Implementations, Models, and Proofs

Cours invités

Horatiu Cirstea (Maître de conférence, Université Nancy 2 - Loria) et Antoine Reilles (ATER, École des Mines de Nancy - Loria)

Techniques de réécriture et transformations

Marc Pouzet (Professeur, LRI)

Programmation Synchrone Fonctionnelle

Mini-cours surprise

Jean-François Monin (Professeur, Université Joseph Fourier - Verimag)

Apéro-Réflexion

Accès

La conférence aura lieu à Aix-les-Bains, à l'hôtel le manoir.
Indications pour l'accès à l'hôtel
Il y aura une navette de l'hôtel pour transporter 5 à 6 participants à la fois jusqu'à 18 h maximum le samedi et le mardi.

Voici quelques horaires de trains :

    - Au départ de Paris gare de Lyon :
      TGV départ 6 h 44 - arrivée 9 h 54
      TGV départ 9 h 50 - arrivée 13 h 05
      TGV départ 13 h 14 - arrivée 16 h 10
      TGV départ 14 h 24 - arrivée 17 h 35
    - Pour Rennes et Bordeaux, départs depuis Paris Gare de Lyon
    - Pour Nancy : départs depuis Paris gare de Lyon ou via Lyon Part Dieu :
      Départ Nancy 7 h 36 - Arrivée Lyon 11 h 39 - Départ Lyon 12 h 19 - arrivée Aix les Bains 13 h 33
      Départ Nancy 12 h 47 - Arrivée Lyon 16 h 55 - Départ Lyon 17 h 14 - arrivée Aix les Bains 18 h 30
    - Pour Grenoble :
      Départ 9 h 26 - Arrivée 10 h 21
      Départ 12 h 32 - Arrivée 13 h 32
      Départ 9 h 43 - Arrivée 13 h 05 (via Chambéry avec 1 heure d'attente à Chambéry)
      Départ 13 h 18 - Arrivée 14 h 09
      Départ 14 h 27 - Arrivée 15 h 24

Comité de programme

Pierre-Etienne Moreau	LORIA, INRIA Lorraine (Président)
Sandrine Blazy	CEDRIC, INRIA Rocquencourt (Vice-Présidente)
Judicaël Courant	Verimag
Alain Frisch	INRIA Rocquencourt
Jean-Louis Giavitto	IBISC, Evry
Delia Kesner	PPS, Université Paris 7
Jean-François Monin	Verimag
Virgile Prevosto	CEA
Alan Schmitt	INRIA Rhones-Alpes
Benjamin Werner	LIX, INRIA Futur

Appel aux communications

fichier texte

Soumission

Date limite de soumission : 18 octobre 2006

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: ici

La soumission est uniquement électronique, selon la méthode détaillée ici.

Les soumissions sont à envoyer aux présidents du comité de programme, avec pour titre de votre message ``SOUMISSION JFLA 2007'', à l'adresse suivante : Pierre-Etienne.Moreau@loria.fr

Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues.

Dates importantes

18 octobre 2006 : Date limite de soumission
22 novembre 2006 : Notification aux auteurs
10 décembre 2006 : Remise des articles définitifs
20 janvier 2007 : Date limite d'inscription aux journées
27-30 janvier 2007 : Journées

Pour toutes remarques d'ordre général ou technique concernant cette page, écrire à Pierre.Weis@inria.fr.