From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F1B5D7EE79 for ; Tue, 17 May 2016 10:50:36 +0200 (CEST) IronPort-PHdr: 9a23:kYp0lhNHDzOTVa1E770l6mtUPXoX/o7sNwtQ0KIMzox0KPn6rarrMEGX3/hxlliBBdydsKIVzbCG+Pi5EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35XxjbD5o8SbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBKn3ZLg5S7VEBTU8Pnt95cvgsh/FUBDdrihPfH8Rl096ChnD5RGycp7rvSLru6Ip3CSTeN//XLY9WXKu5r1kQQ7loCwKPng36jeE2YRLkKtHrUf59FREyInObdTNOQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lea-zaynah.dargaye@cea.fr; spf=None smtp.mailfrom=lea-zaynah.dargaye@cea.fr; spf=None smtp.helo=postmaster@oxalide-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lea-zaynah.dargaye@cea.fr) identity=pra; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lea-zaynah.dargaye@cea.fr"; x-sender="lea-zaynah.dargaye@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lea-zaynah.dargaye@cea.fr) identity=mailfrom; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lea-zaynah.dargaye@cea.fr"; x-sender="lea-zaynah.dargaye@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@oxalide-out.extra.cea.fr) identity=helo; client-ip=132.168.224.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lea-zaynah.dargaye@cea.fr"; x-sender="postmaster@oxalide-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AkAQDK2jpXkAjgqIRdhAx+pyuSV4F2IoI9hGo6EgEBAQEBAQEBEQEBAQEJCwkJIS+CLYINMg8BBUA2AgUWCwILAwIBAgFYCAEBEIVegj0OoTWPYocBiyWBAYw9gU+DJBCCSQWYKYV/iglOgiqBV4MHhVqHcYdRJw6CRIFXbAGGR4E+AQEB X-IPAS-Result: A0AkAQDK2jpXkAjgqIRdhAx+pyuSV4F2IoI9hGo6EgEBAQEBAQEBEQEBAQEJCwkJIS+CLYINMg8BBUA2AgUWCwILAwIBAgFYCAEBEIVegj0OoTWPYocBiyWBAYw9gU+DJBCCSQWYKYV/iglOgiqBV4MHhVqHcYdRJw6CRIFXbAGGR4E+AQEB X-IronPort-AV: E=Sophos;i="5.26,324,1459807200"; d="scan'208";a="178016611" Received: from oxalide-out.extra.cea.fr ([132.168.224.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 May 2016 10:50:36 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide.extra.cea.fr (8.15.2/8.15.2/CEAnet-Internet-out-2.4) with ESMTP id u4H8oV9q026012; Tue, 17 May 2016 10:50:31 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 48A25201E36; Tue, 17 May 2016 10:50:31 +0200 (CEST) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id E18AD200CCA; Tue, 17 May 2016 10:50:30 +0200 (CEST) Received: from [10.8.35.19] (is230308.intra.cea.fr [10.8.35.19]) by muguet2.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id u4H8oUln029462; Tue, 17 May 2016 10:50:30 +0200 From: Zaynah Dargaye Message-ID: <573ADB56.8030209@cea.fr> Date: Tue, 17 May 2016 10:50:30 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 MIME-Version: 1.0 To: destinataires inconnus: ; Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: lea-zaynah.dargaye@cea.fr Subject: [Caml-list] Frama-C Day 2016 | updated invitation! Dear all, we are please to confirm César A. Muñoz as a speaker of the Frama-C Day 2016. The Frama-C Day 2016 will take place on June 20th from 8:30 to 18:30 at la Maison de La Recherche, Paris. Speakers at the Frama-C Day will demonstrate and discuss innovative approaches to software analysis, from both academic and industrial points of views. In addition to invited presentations, this will be a space for community discussions, updates on ongoing developments, and upcoming projects. Details are available at : http://frama-c.com/FCD16.html Space is limited, so register now : http://public.message-business.com/form/48834/21/form.aspx -- The Frama-C Team