--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on April 2010 ---
Anne Pacalet wrote : > Dear Frama-C users, > > Sorry about this message in French, but its purpose is to announce > lessons about the COQ system that will be given in French anyway. Bonjour ? tous, Je vous ai signal? il y a quelques semaines 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 m'avaient signal? qu'il manquait des informations sur la page web au sujet de l'inscription et des tarifs. Ces informations ont maintenant ?t? mises ? jour... (cliquez sur le titre de l'?cole pour avoir les informations, puis sur "Formulaire en ligne" dans la colonne de droite si ?a vous int?resse). Cordialement, -- Anne Pacalet.