| [Actux] Re: Choix date exposé Frama-C (analyse statique et preuve de code C) |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/actux Archives
]
- To: Liste Gulliver <gulliver@xxxxxxxxxxxxxxxxxxxxxx>, actux <actux@xxxxxxxxxxxxxxxxxxx>
- Subject: [Actux] Re: Choix date exposé Frama-C (analyse statique et preuve de code C)
- From: David MENTRE <dmentre@xxxxxxxxxxxxxxxx>
- Date: Fri, 14 Jan 2011 16:49:14 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:in-reply-to:references:from :date:x-google-sender-auth:message-id:subject:to:content-type :content-transfer-encoding; bh=T2gf2hOYfGUWn4DRhw0Uf/NykYuDNCbtEJ3prPdD68c=; b=SiwcQp1FPgvSGluPD+dbUepYcGI0TJ8RaQANU6Gh0XqzOX/cCEJQq0GAEjVVrKZPOU IA6Mu3PN9IGzXmSaej9Ov+oP1aEGnlB4tfMPnmLKbEuofF0IANLyhwADNih9W+8Wh4ze Uw868klYPYOnPnCDPr3t0pF+Gv8xjGVCNHRUs=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:content-type :content-transfer-encoding; b=gR9I/bTLuT/C/I1LWrHhwfJVnOQa6Z362z7DYmo//M8P5ht0e1dt+/100ZAteH+TFy HlsuRI1jPfvk9BgDyUp0Fehv1EpvPdnNyibmKi4OYQcIn+YX9KudfitEVmFSKCgytlS9 ccsBT3GNpy93SJ3OvohsE0zvAD9bfY2bwXRdA=
Bonjour,
Le 13 janvier 2011 16:33, David MENTRE <dmentre@xxxxxxxxxxxxxxxx> a écrit :
> 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.
>
> Je propose des dates dans le sondage suivant.
L'exposé aura lieu le lundi 31 janvier à 20h (j'ai réservé la salle de la MCE).
Désolé pour ceux qui ne peuvent pas venir à cette date (aucune date ne
convient à tout le monde). Je mettrai les transparents à disposition
(comme d'hab') et je pourrais refaire l'exposé à l'occasion.
Amicalement,
david
---
---
Liste Actux, http://www.actux.fr