--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on March 2010 ---
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/