| Re: [Actux] Choix date exposé Frama-C (analyse statique et preuve de code C) |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/actux Archives
]
- To: Patrick Lamaizière <patgul+gul@xxxxxxxxxxxxx>
- Subject: Re: [Actux] Choix date exposé Frama-C (analyse statique et preuve de code C)
- From: David MENTRE <dmentre@xxxxxxxxxxxxxxxx>
- Date: Fri, 14 Jan 2011 08:19:41 +0100
- Cc: actux@xxxxxxxxxxxxxxxxxxx
- 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:cc:content-type :content-transfer-encoding; bh=ZBBCDK3OcdL7cj5wrT2YnPZ/eguw23I0MLmDCxCYKIg=; b=lFLLhoHLmxd57ZOi2U+8Bs9D4+dKQAwqQTM0o4S04pAenGMI9lIotctvLFDHmqzNll 8bIBYeK+IWUiXn1Jna0T2Y+GGLDmXeqcbyHcM+hTynlvADJav6HkFoD8uJkM9Ao8M+Bu hEwBwNeZGnExWEcLCuGBbgOkaa+Aei8HOhYC0=
- 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:cc:content-type :content-transfer-encoding; b=nSYgR+/gBdmpmIvLVzy51DwImZ/TrjNkjZGPQQmhXO7XHVCgWOSbd+irOFmLM7oioN JYofng40g2gETb5bExwUV86i14Ez73bT8D8P2McU9IVV/aWj2UQkvvdl/g/GSdgHrLy6 FZx6M/m2SDNz9cDstHekZvjqMOrpXpyVQCTjM=
Salut Patrick,
Le 13 janvier 2011 17:37, Patrick Lamaizière
<patgul+gul@xxxxxxxxxxxxx> a écrit :
>> http://papillon.peacefrogs.net/poll/8zEdMP1294930355/
>
> Le jeudi c'est le social event du FOSDEM, ça tombe mal.
C'est aussi l'apéro du Libre d'Actux. Évidemment je m'en suis rendu
compte après. Mais bon, il reste le lundi et mercredi.
Amicalement,
d.
---
---
Liste Actux, http://www.actux.fr