Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] JFLA14 - Appel à participation

  • Subject: [Frama-c-discuss] JFLA14 - Appel à participation
  • From: Christine.Tasson at pps.univ-paris-diderot.fr (Christine Tasson)
  • Date: Thu, 14 Nov 2013 17:40:19 +0100
     *** Appel ? participation, merci de diffuser largement ***


               JFLA'2014 (http://jfla.inria.fr/2014/)

           Journ?es Francophones des Langages Applicatifs

             ? Fr?jus, du 8 janvier au 11 janvier 2014


Les incriptions aux JFLAs sont d?sormais ouvertes, veuillez trouver
ci-dessous la liste des expos?s pr?vus. Nous esp?rons que vous serez
nombreux ? participer ? ces journ?es ; inscrivez-vous d?s que possible!


Dates importantes
-----------------
15 d?cembre 2014 : date limite d'inscription aux journ?es
8 au 11 janvier 2014 : journ?es

Soutien Financier
-----------------
Gr?ce au soutien des GDR GPL et IM et du groupe de travail geocal, nous 
avons la possibilit? de financer une partie des journ?es pour quelques 
?tudiants ou jeunes chercheurs (date limite de demande le 20 novembre).

Cours et expos?s invit?s
------------------------
  Olivier Danvy : Du calcul math?matique aux calculs informatiques.
  Christine Paulin : Mod?lisation de programme probabilistes en coq.

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

  Guillaume Brunerie : HOmotopy Type Theory
  Catherine Lelay : Coq passe le bac

Articles accept?s (par ordre de soumission)
-------------------------------------------
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici and Damien Pous.
   Formal verification in Coq of program properties involving the global 
state effect
Sylvain Conchon, David Declerck, Luc Maranget and Alain Mebsout.
   V?rification de programmes C concurrents avec Cubicle : Enfoncer les 
barri?res
Yoichi Hirai and Reynald Affeldt.
   What could Coq do for Database Software? ---A Progress Report
Louis Mandel and C?dric Pasteur.
   Ex?cution efficace de programmes ReactiveML
Bernard Serpette, Pascal Manoury and Emmanuel Chailloux.
   Unification des couleurs dans un $\lambda$-calcul polychrome
Adrien Husson.
   Une s?mantique statique pour MongoDB
Adrien Guatto.
   R?seaux de Kahn ? rafales et horloges enti?res
Martin Bodin, Thomas Jensen and Alan Schmitt.
   Pretty-big-step-semantics-based Certified Abstract Interpretation
Julien Signoles.
   Comment un chameau peut-il ?crire un journal ?
Damien Pous and Alan Schmitt.
   De la KAM avec un Processus d?Ordre Supe?rieur
Marc Bagnol, Amina Doumane and Alexis Saurin.
   Analyse de d?pendances et correction des r?seaux de preuve
Pierre-Marie P?drot and Alexis Saurin.
   N?cessit? faite loi : de la r?duction lin?aire de t?te ? l'?valuation 
paresseuse

25 ans des JFLA
? l'occasion de ce quart de si?cle, les comit?s de programme et de 
pilotage ont choisi quatre contributions marquantes parmi les articles 
publi?s aux JFLA ces dix derni?res ann?es.

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


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 Pradalier     Dassault Syst?mes
Julien Signoles     CEA LIST
Matthieu Sozeau     INRIA Paris -- Rocquencourt
Sylvain Pogodalla     Loria/INRIA Nancy

Pour tout renseignement d'ordre administratif, 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 at inrialpes.fr

http://jfla.inria.fr/2014/