| Re: [Actux] Choix date exposé Frama-C (analyse statique et preuve de code C) |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/actux Archives
]
Le Thu, 13 Jan 2011 16:33:41 +0100,
David MENTRE <dmentre@xxxxxxxxxxxxxxxx> a écrit :
> Bonjour,
>
> Suite à l’intérêt pour ma proposition d'exposé, je ferai donc un
> exposé sur Frama-C, abordant l'analyse statique et la preuve de code
> C.
\o/
> Je propose des dates dans le sondage suivant. Si vous êtes intéressés
> merci de le remplir au plus vite pour que je puisse réserver la salle..
> http://papillon.peacefrogs.net/poll/8zEdMP1294930355/
Le jeudi c'est le social event du FOSDEM, ça tombe mal.
---
---
Liste Actux, http://www.actux.fr