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] JFLA 2015 : Appel à participation

  • Subject: [Frama-c-discuss] JFLA 2015 : Appel à participation
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Wed, 12 Nov 2014 10:07:10 +0100
    *** Appel ? participation, merci de diffuser largement ***


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

         Journ?es Francophones des Langages Applicatifs

         au Val d'Ajol, du 7 janvier au 10 janvier 2015


Les incriptions aux JFLAs sont d?sormais ouvertes. Vous trouverez
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
-----------------

25 novembre 2015 : date limite d'inscription aux journ?es

7 au 10 janvier 2015 : journ?es

Soutien Financier
-----------------

Gr?ce au soutien des GDR GPL et IM, nous avons la possibilit?
de financer une partie des journ?es pour quelques ?tudiants
ou jeunes chercheurs. Si vous souhaitez demander ce soutien,
contactez David Baelde au plus t?t et avant le 16 novembre.

Cours et expos?s invit?s
------------------------

. Stephan Merz (Inria Nancy & LORIA) :
     V?rification d'algorithmes distribu?s
. Manuel Serrano (Inria Sophia-Antipolis) : Programmation web en Hop

. Alastair Donaldson (Imperial College London) :
     Verification techniques for GPU kernels
. Marco Gaboardi (University of Dundee) : Differential privacy

Articles accept?s (par ordre de soumission)
-------------------------------------------

Arvid Jakobsson, Nikolai Kosmatov and Julien Signoles.
Rester statique pour devenir plus rapide, plus pr?cis et plus mince

Francois Pottier.
Depth-First Search and Strong Connectivity in Coq

Alix Trieu, Robert Dockins and Andrew Tolmach.
Static conflict detection for a policy language

Simon Castellan.
La strat?gie de la fourchette

J?r?me Fortier. Higher-Order Trees are Circularly Computable

Steven De Oliveira, Virgile Prevosto and S?bastien Bardin.
Au temps en emporte le C

Martin Clochard and L?on Gondelman.
Double WP: vers une preuve automatique d'un compilateur

Martin Escarr?, Petar Maksimovi? and Alan Schmitt. HOCore in Coq

Th?is Bazin and David Janin.
Flux m?dia tuil?s polymorphes :
une s?mantique op?rationnelle en Haskell

David Braun and Nicolas Magaud.
Des preuves formelles en Coq du th?or?me de Thal?s pour les cercles

?agdas Bozman, Gr?goire Henry, Fabrice Le Fessant,
Michel Mauny and Mohamed Iguernelala.
ocp-memprof: un profileur m?moire pour OCaml

Richard Genestier, Alain Giorgetti and Guillaume Petiot.
Gagnez sur tous les tableaux

Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy.
Mergeable persistent data-structures

Paul Brunet and Damien Pous.
Decidability of Identity-free Relational Kleene Lattices

Gabriel Scherer. Normalization by realizability also evaluates

Catherine Dubois, Sourour Elloumi, Benoit Robillard and Cl?ment Vincent.
Graphes et couplages maximaux en Coq

Alexandre Mar?chal and Micha?l P?rin.
A linearization technique for multivariate polynomials using
convex polyhedra based on Handelman's theorem

Comit? de programme
-------------------

David Baelde           LSV, ENS Cachan (Pr?sident)
Jade Alglave           UCL (Vice-pr?sidente)
Maria-Virginia Aponte  CNAM
Sylvie Boldo           Inria, LRI
Pierre Clairambault    ENS Lyon
Delphine Demange       IRISA, Universit? de Rennes 1
Kim Nguyen             LRI, Universit? Paris-Sud 11
Florence Plateau       Prove & Run
Christophe Raffalli    LAMA, Universit? de Savoie
Julien Signoles        CEA LIST
Pierre-Yves Strub      IMDEA Software Institute
Jules Villard          Imperial College London

Pour tout renseignement, contacter
   David Baelde <baelde at lsv.ens-cachan.fr>