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 666887FEE5 for ; Tue, 18 Apr 2017 12:58:14 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nikolay.kosmatov@cea.fr; spf=Pass smtp.mailfrom=nikolay.kosmatov@cea.fr; spf=None smtp.helo=postmaster@cirse-smtp-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nikolay.kosmatov@cea.fr) identity=pra; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nikolay.kosmatov@cea.fr"; x-sender="nikolay.kosmatov@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of nikolay.kosmatov@cea.fr designates 132.167.192.148 as permitted sender) identity=mailfrom; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nikolay.kosmatov@cea.fr"; x-sender="nikolay.kosmatov@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-smtp-out.extra.cea.fr) identity=helo; client-ip=132.167.192.148; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nikolay.kosmatov@cea.fr"; x-sender="postmaster@cirse-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AOH5cQRIqRZqkAseSCNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXK/z4rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kaOT437mHZhM9+gq1Vrx2upQBwzYHPbYGJN/dzZL/Rcc8USGdDWMtaSixPApm7?= =?us-ascii?q?b4sKF+cPJedYr4r6p1sKtxS+BBSnCuboyj9Tg3/5x7E60+M/EQrb2wEgGdMOsH?= =?us-ascii?q?fTrNXxLqgTUfq5zKrPzTXYavNZwyv96I/Wch06vf6DQ6h/fdDfyUk1Dg7IiEib?= =?us-ascii?q?p4LiPzOQzOsNsm6b4vJ8Wu2xkWErsQ9xoiK3yscikInGnIcVxUrd+Spl2oo6Od?= =?us-ascii?q?q4SEtjbd6jCJtfqSeaO5JtQsMlXmFoojo1xaMftZ66eigKzpMnxwDFZPybcoiI?= =?us-ascii?q?5RTjWP+KITdgnnJlebS/hxmo/Uin0O38WdG40E1SriVfiNnMtWkB2wLP5sSaRf?= =?us-ascii?q?Zx5ECh2SyA1wzL8O5LPFo7mrbcK5473LE8jIYcsUPGHiLwhU74j7eWe1059uWm?= =?us-ascii?q?9ejreKjqq56eOoNulw3zNroiltaiDek3MQUCR3WX9Oqi2LH54EH0QbRHgucrnq?= =?us-ascii?q?TdrpzWP8YWq6ikCAFPyIkj8QywDzK+3dQYg3YHKFVFdQqbgIjoIVHOO+73Ae6k?= =?us-ascii?q?g1SpjDdr3+nKPrr8ApXRNHTMjrjgfapn60FG0gY80c5Q6IhOBrEPOvL/Qk7xtN?= =?us-ascii?q?rGAR8lKwG43ujqBMtn2o8DWG+CALWVPL7WvFOW/O4jPuaBaYwNtDb4Mfcl5vru?= =?us-ascii?q?jXEjmV8aeKmkxZ0XaHG7HvRhJ0WWe3rtjs0CEWcNpQo+SfbliEGFUT5NfHu9Q7?= =?us-ascii?q?wz6SshBIKoF4fPXpqtj6CZ3CenAp1WYXhLBUyLEXftb4WEWvMMZziOIs9glTwE?= =?us-ascii?q?U6GtS4k/2hCgrw/20qFoLu3J+i0eqZ3sysN16vbXlREz7jx0E9+d33uCT2F6mW?= =?us-ascii?q?MIXTA2075lrUx8zFeDy6l4jOZCGdxd/fNDSh06OoLEz+xmF9DyXRrMccuTR1aj?= =?us-ascii?q?RtWqGDUxTtMqw98SeEt9ANWjjhXb3yWwGbMVlrqLBIY18q3GxXTxKdx9mD760/?= =?us-ascii?q?wqiFw+Q89GKWyhgOt5+hfIQoTOjkOSmr2CcaUHwDWL+2mE12WD+kBeSg95F6vf?= =?us-ascii?q?GTgUb07S6ND4/V/qTrm0CL1hPBES59SFL/5sa97uiVxHDNTkI9HXf2Wv0zO2BB?= =?us-ascii?q?WPwrqdKontYGAUwCLDIEMJmkYd5yDVZkAFGi69rjeGX3RVHlX1bha0/A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A5AQBm8PVYh5TAp4RcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAmBC4MgRosIpViDBSyCQoM2AoNqQhUBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?KCwkIKC+CMyCCQwMDDBEGDwEFTwIJCRMCHwcCAhs8BwwGAgEBihUOjDGdXYImi?= =?us-ascii?q?yEBAQEBBgEBAQEkBYEGh0+EKYEggU0QAgGDIYJfBZ0ia4YZkR2FNIZdiw0liFw?= =?us-ascii?q?1gR8IQyRVhHIEJYFMc4kLAQEB?= X-IPAS-Result: =?us-ascii?q?A0A5AQBm8PVYh5TAp4RcHAEBBAEBCgEBFwEBBAEBCgEBhAm?= =?us-ascii?q?BC4MgRosIpViDBSyCQoM2AoNqQhUBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyCCQ?= =?us-ascii?q?wMDDBEGDwEFTwIJCRMCHwcCAhs8BwwGAgEBihUOjDGdXYImiyEBAQEBBgEBAQE?= =?us-ascii?q?kBYEGh0+EKYEggU0QAgGDIYJfBZ0ia4YZkR2FNIZdiw0liFw1gR8IQyRVhHIEJ?= =?us-ascii?q?YFMc4kLAQEB?= X-IronPort-AV: E=Sophos;i="5.37,219,1488841200"; d="scan'208";a="220702579" Received: from cirse-smtp-out.extra.cea.fr ([132.167.192.148]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Apr 2017 12:58:13 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id v3IAwBEC032018; Tue, 18 Apr 2017 12:58:11 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id E8E1620C4CB; Tue, 18 Apr 2017 12:58:10 +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 D1557203000; Tue, 18 Apr 2017 12:58:10 +0200 (CEST) Received: from [10.8.34.94] (is222940.intra.cea.fr [10.8.34.94]) by muguet2.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id v3IAwApp022673; Tue, 18 Apr 2017 12:58:10 +0200 References: To: compilation-news-bounces@lists.gforge.inria.fr, caml-list@inria.fr From: Nikolai Kosmatov X-Forwarded-Message-Id: Message-ID: <21e6d9d5-bcfe-dce5-bba2-b0ca94013a6e@cea.fr> Date: Tue, 18 Apr 2017 12:58:12 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: nikolay.kosmatov@cea.fr Subject: [Caml-list] Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada, 30 May 2017 - Call for participation Call for Participation Frama-C & SPARK Day 2017: Formal Analysis and Proof for Programs in C and Ada Paris, Tuesday, May 30th, 2017 http://frama-c.com/FCSD17.html We are pleased to invite you to attend Frama-C & SPARK Day 2017. This one-day workshop aims at gathering both academic and industrial users of the environments Frama-C and SPARK, for sharing experiences and discussing perspectives. Location: Université Paris-Diderot, Amphithéatre Buffon, 15 rue Hélène Brion, Paris The program, registration information and travel instructions are available from http://frama-c.com/FCSD17.html Registration is free of charge but necessary. The workshop takes place in the context of the event `Open Source Innovation Spring 2017' (http://www.open-source-innovation-spring.org/) initiated by thematic group `Logiciel libre' of the cluster Systematic-Paris-Region and IRILL (`Initiative de Recherche et Innovation sur le Logiciel Libre'). It is co-organized by CEA List (http://www-list.cea.fr/en/), AdaCore (http://www.adacore.com/), Inria joint lab `ProofInUse' (http://www.spark-2014.org/proofinuse), and Université Paris-Diderot. -- Nikolai KOSMATOV, PhD Software Safety Laboratory, CEA LIST Mail : CEA Saclay Nano-INNOV Institut CARNOT CEA LIST DILS/LSL, PC 174 91191 Gif-sur-Yvette Cedex, France Phone: +33 (0)1 69 08 71 83 Fax: +33 (0)1 69 08 83 95 Email: nikolai.kosmatov@cea.fr