--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on March 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Modélisation et vérification d'algorithmes en Coq



Bonjour ? tous,

Je vous ai signal? l'?cole d'?t? suivante :
> --------------------------------------------------
> Ecole CEA-EDF-INRIA
> "Mod?lisation et v?rification d'algorithmes en Coq : une introduction"
> Paris, 7-11 juin 2010,
> http://www.inria.fr/ecoles-cea-edf-inria
> --------------------------------------------------

et plusieurs personnes me signalent qu'il n'y a aucune information
ni sur l'inscription ni sur les tarifs sur la page web. J'en suis d?sol?e !
Je me renseigne le plus rapidement possible pour vous fournir l'information.

Cordialement,
-- 
Anne Pacalet  : http://www-sop.inria.fr/members/Anne.Pacalet/