Skip to Main content Skip to Navigation
Directions of work or proceedings

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).
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/inria-00202715
Contributor : Sandrine Blazy <>
Submitted on : Tuesday, January 8, 2008 - 3:25:33 PM
Last modification on : Saturday, February 9, 2019 - 1:23:27 AM
Long-term archiving on: : Thursday, September 27, 2012 - 1:50:12 PM

File

actes_avec_couverture.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

151

Files downloads

269