JFLA 2012

4 février au 7 février 2012 Carnac

Site de la manifestation

Le formulaire d'inscription est en ligne

(date limite d'inscription le 20 janvier 2012)

Les vingt troisièmes journées francophones des langages applicatifs ou JFLA2012 se tiendront à la mer, à Carnac, à proximité de Lorient, Rennes.

Elles se dérouleront du 4 février au 7 février 2012, à l'hôtel

Hôtel de la manifestation
Carnac Residence
1 Allée Fleur de Sel, 56343 Carnac
Tél. : +33 (0)2 97 52 53 54

Ces journées sont organisées par l'INRIA.

Dates importantes

23 octobre (au lieu du 16 octobre) 2011 : date limite de soumission
18 novembre 2011 : notification aux auteurs
9 décembre 2011 : remise des articles définitifs
20 janvier 2012 : date limite d'inscription aux journées
4 février au 7 février 2012 : journées

Programme

Vous pouvez consulter la liste des articles acceptés aux JFLA.

Demandez le programme.

La page du cours de Jean-Christophe Filliâtre sur Why3 est ici.

Exposés invités

Les deux orateurs invités cette année sont:

Dimitrios Vytiniotis (Microsoft Research), et
Benjamin Grégoire (INRIA Sophia-Antipolis--Méditerrannée).

Cours

Les deux cours de cette année seront donnés par:

Jean-Christophe Filliâtre (CNRS), et
Matthieu Sozeau (INRIA Paris -- Rocquencourt).

Comment se rendre à la mer

Par le train. La gare d'Auray est située à 20 minutes en voiture de Carnac. Il y a un TGV directs toutes les deux heures environ de Paris à Auray, et de Auray à Paris (3h30). Un car sera prévu à l'arrivée le 4 février pour le train suivant:
- Paris : 10h12 - 13h35 : Auray
Et au retour pour le train suivant:
- Auray : 15h41 - 19h11 : Paris
Par avion. L'aéroport de Lorient est à 45 minutes de Carnac.

Comité de programme

Assia Mahboubi	INRIA Saclay -- Île-de-France (Présidente)
Damien Pous	CNRS (Vice président)
David Baelde	Universtié Paris Sud 11
Fréderic Besson	INRIA Rennes -- Bretagne Atlantique
Sandrine Blazy	Université Rennes 1
Louis Mandel	Université Paris Sud 11
Guillaume Melquiond	INRIA Saclay -- Île-de-France
Julien Narboux	Université de Strasbourg
Yann Régis-Gianas	Université Paris 7
Christine Tasson	Université Paris 7

Contacts

Pour tout renseignement, contacter

Chantal Girodon
INRIA Service IST Domaine de Voluceau - BP 105 78153 Le Chesnay cedex - France
Tel : +33 (0)1 39 63 50 53 - Fax : +33 (0)1 39 63 56 38
email : symposia@inria.fr
http://jfla.inria.fr/2012/

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