Cours et Colloques

JFLA 2014

du 8 au 11 janvier 2014, Fréjus

Les vingt cinquièmes journées francophones des langages applicatifs se tiendront à la Villa Clythia (CAES du CNRS) à Fréjus, à proximité de Saint Raphaël, dans le Var

** Le formulaire d'inscription est en ligne.**

(Date limite d'inscription le 15 décembre)

Frais d'inscriptions: 360 euros en chambre double/450 euros en chambre simple

Liste des papiers acceptés

Cours et exposés invités

Les cours proposés cette année seront donnés par:

• Olivier Danvy : Du calcul mathématique aux calculs informatiques .
• Christine Paulin : Modélisation de programme probabilistes en coq .

Les orateurs invités cette année sont:

• Jean Krivine Une sémantique pour la biologie moléculaire ? Quelques enjeux (et obstacles) pour l'informatique fondamentale..
• Xavier Leroy

Deux jeunes orateurs sont aussi invités cette année:

• Catherine Lelay : Coq passe le bac.
• Guillaume Brunerie : Homotopy Type Theory.

25 ans des JFLA

• ReactiveML, un langage pour la programmation réactive en ML. Louis Mandel et Marc Pouzet. JFLA'05
• Union-Find Persistant. Sylvain Conchon et Jean-Christophe Filliâtre. JFLA'07
• Vérification formelle d'un algorithme d'allocation de registres par coloration de graphes. Sandrine Blazy, Benoît Robillard et Éric Soutif. JFLA'08
• Calcul de plus faible précondition, revisité en Why3. Claude Marché et Asma Tafat. JFLA'13

Programme

• accueil le mercredi 8 janvier à partir de 13h, premier exposé à 14h30.
• fin du dernier exposé le samedi 11 janvier à 11h30, repas jusqu'à 14h.

Arriver à Fréjus

• La gare la plus accessible est Saint Raphaël - Valescure.
  Nous mettrons en place une navette correspondant aux horaires de train suivants:
  • Mercredi 8 janvier, pour les trains arrivant à Saint Raphaël avant 12h30
  • Samedi 11 janvier, pour les trains partant de Saint Raphaël après 14h30
  Si vous arrivez à un autre horaire, vous pouvez prendre l'agglobus ligne 3.
• En voiture: sur l'A48, prendre la sortie n°38 Fréjus.
  Télécharger le plan de route et le plan d'accès
• Aéroports: Nice, Toulon, Marseille.
• Ports: Genève, Marseille.

Soumissions

Les soumissions doivent être déposées sur Easychair, à l'adresse suivante :
https://www.easychair.org/conferences/?conf=jfla2014

Elles peuvent être rédigées en anglais, mais elles sont limitées à 15 pages A4 et le style LaTeX est imposé :
http://jfla.inria.fr/2014/actes.sty

Dates

• 1er octobre 2013 : date limite de soumission des résumés
• 10 octobre 2013 : date limite de soumission des papiers
• 12 novembre 2013 : notification aux auteurs
• 2 décembre 2013 : remise des articles définitifs
• 15 décembre 2013 : clôture des inscriptions
• 8 janvier au 11 janvier 2014 : journées

Soutien Financier : Date limite des demandes le 20 novembre 2013

Comité de programme

Christine Tasson	PPS -- Université Paris Diderot (Présidente)
David Baelde	LSV -- ÉNS Cachan (Vice président)
Jade Alglave	University College of London
Zaynah Dargaye	CEA LIST
Jean-Christophe Filliâtre	CNRS -- Université Paris Sud
Pascal Fradet	INRIA Grenoble -- Rhône-Alpes
Jacques Garrigue	Nagoya University
Barbara Petit	INRIA Grenoble -- Rhône Alpes
Sylvain Pogodalla	Loria/INRIA Nancy
Sylvain Pradalier	Dassault Systèmes
Julien Signoles	CEA LIST
Matthieu Sozeau	INRIA Paris -- Rocquencourt

Pour tout renseignement, contacter

Sophie Azzaro
Inria Grenoble Rhône-Alpes, Bureau des cours et colloques
655 Avenue de l'Europe, Montbonnot
38 334 St Ismier Cedex - France
Tel : +33 (0)4 76 61 52 51 - Fax : +33 (0)4 56 52 71 90
email : colloques@inrialpes.fr
http://jfla.inria.fr/2014/

Alimenté par chameau