Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs)

Résumé : JFLA 2008 est la dix-neuvième conférence francophone organisée autour des langages applicatifs. Cette année, les journées ont lieu à Étretat, en Normandie. Nous respectons ainsi l'alternance mer-montagne traditionnelle aux JFLA et le choix d'un cadre propice aux échanges conviviaux sur les langages applicatifs. Le comité de programme a choisi 11 articles sur les 18 présentés, portant sur des sujets très variés, témoignant de la vitalité et de la diversité de notre communauté. Les soumissions étaient de grande qualité et nous remercions les auteurs qui ont soumis un article aux JFLA 2008, en contribuant ainsi au haut niveau scientifique de ces journées. Deux orateurs ont été invités: Pierre Weis, de l'INRIA Paris-Rocquencourt et Cédric Fournet, de Microsoft Research. Pour la troisième année consécutive, deux sessions d'une demi-journée chacune ont été consacrées à la découverte de thèmes de recherche: les sémantiques formelles (par Yves Bertot de l'INRIA Sophia Antipolis - Méditerranée) et la conception d'une bibliothèque formelle de mathématiques effectives (par Renaud Rioboo du laboratoire CEDRIC de l'ENSIIE).
Type de document :
Direction d'ouvrage, Proceedings, Dossier
INRIA. INRIA, pp.173, 2008, 2-7261-1295-1
Liste complète des métadonnées

https://hal.inria.fr/inria-00202715
Contributeur : Sandrine Blazy <>
Soumis le : mardi 8 janvier 2008 - 15:25:33
Dernière modification le : mardi 10 juillet 2018 - 17:02:03
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:50:12

Fichier

actes_avec_couverture.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00202715, version 1

Collections

Citation

Sandrine Blazy. Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs). INRIA. INRIA, pp.173, 2008, 2-7261-1295-1. 〈inria-00202715〉

Partager

Métriques

Consultations de la notice

116

Téléchargements de fichiers

229