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 9E0657EE35 for ; Fri, 22 Apr 2016 10:50:37 +0200 (CEST) IronPort-PHdr: 9a23:5EpLOB1vD2wQQfrUsmDT+DRfVm0co7zxezQtwd8ZsegTIvad9pjvdHbS+e9qxAeQG96Lu7Qb06GO6ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZvvnLjos7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYjdt6qJUFCfmyP/lgDO8QMDNzOGkw4IjvtALfZQqJ/HoVFGsMwTRSBA2Q3hjrWJ7x+gfzrOV0ySTSacn7RPUmUCWk5qctRBbyhy4WOhYy/WiRhNYm3/ETmw6ouxEqm92cW4qSLvcrI/vQ 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: A0DbAQBK5RlXigjgqIRehAt9jg2ZQZI9AQEIgXMegkCEXT4OAQEBAQEBAQERAQEBCgsJCSEvgi2CPhVANgIFFgsCCwMCAQIBWAgBARAHiA+eOI9dkU18jDqBT3KCNIJWBZgPhXuMdoRchVeHZIdLPQEBAQeCMIFWaoc5gT0BAQE X-IPAS-Result: A0DbAQBK5RlXigjgqIRehAt9jg2ZQZI9AQEIgXMegkCEXT4OAQEBAQEBAQERAQEBCgsJCSEvgi2CPhVANgIFFgsCCwMCAQIBWAgBARAHiA+eOI9dkU18jDqBT3KCNIJWBZgPhXuMdoRchVeHZIdLPQEBAQeCMIFWaoc5gT0BAQE X-IronPort-AV: E=Sophos;i="5.24,516,1454972400"; d="scan'208";a="175408321" 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; 22 Apr 2016 10:50:37 +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 u3M8oaF2023345 for ; Fri, 22 Apr 2016 10:50:36 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 36776204891 for ; Fri, 22 Apr 2016 10:52:08 +0200 (CEST) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 240572015DA for ; Fri, 22 Apr 2016 10:52:08 +0200 (CEST) Received: from [10.8.35.19] (is230308.intra.cea.fr [10.8.35.19]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id u3M8oahS032170 for ; Fri, 22 Apr 2016 10:50:36 +0200 To: caml-list@inria.fr From: Zaynah Dargaye Message-ID: <5719E5DC.4000809@cea.fr> Date: Fri, 22 Apr 2016 10:50:36 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: lea-zaynah.dargaye@cea.fr Subject: [Caml-list] Frama-C Day 2016 | invitation Dear all, We are glad to invite you to the Frama-C Day on June 20th at la Maison de la Recherche, Paris 7th; as part of the Open Source Innovation Spring. In a society driven by information technologies and communication, the safety and security of software have become crucial challenges. Frama-C is a software analysis platform that enables the design, implementation, and dissemination of formal verification solutions. 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 new developments, and upcoming projects. Details are available at http://frama-c.com/FCD16.html Space is limited, register now! -- The Frama-C Team