Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2008

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).
Fichier principal
Vignette du fichier
actes_avec_couverture.pdf (3.38 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00202715 , version 1 (08-01-2008)

Identifiants

  • HAL Id : inria-00202715 , version 1

Citer

Sandrine Blazy (Dir.). Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs). INRIA. INRIA, pp.173, 2008, 2-7261-1295-1. ⟨inria-00202715⟩
66 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More