--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on April 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



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.