LOGO INRIA Cours et Colloques

TRAIT

Contact: symposia@inria.fr

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

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

Cours invités

Mini-cours surprise

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

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



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

Conception et mise au point: Pierre Weis.
Copyright 1996 - 2005 INRIA, tous droits réservés.

LOGO Caml Powered by Caml Caml LOGO