[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Eclair presentation on Aug 3 at 8AM
- To: Roberto Bagnara <roberto.bagnara@xxxxxxxxxxx>
- From: Bertrand Marquis <Bertrand.Marquis@xxxxxxx>
- Date: Mon, 2 Aug 2021 16:02:42 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=VVGQCQattfpwQ/l2FLQIYHUqw5OxiWAJemTBc375DgA=; b=jntHibnRza7Wpq4mCJZDqbx1IPcTNTbJiMaiIXHuBgXYJvWVbXJcmTGZtrcwB03qrfWFakP4lRNX3E/A958qOfMrblIeLurmYw15a5VS50hwnOTStAQwHq5ECL2juTX2xSj27yWagTIXvmUF9hhpUcxR86eTiRQ5yJPNmHKQQ3pHqJj2T99RbZfDpZUYjYAi2R3LGD6v5mrWQpocAPpYpPw/uIN9dt8NV6JOf4yqnWw0EvZkzD/YZX5ej2dzl1GjCxeQ2s5rLJIKBBCTjiB+CYVcqA860sS6k47tmYC0DyUaNIQb1oyyfYpXn1yJSV8QYbdYOA2s1nfDr2pFTewAnA==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dlXtAB9KxyHNzeZkC1/3KbpinZqj4tTE5NMZ/C64ZBF049MsPvoRDhOFM3nmvrURyKRRC/GpcK43hP/7rBMyQtMwM0qWbINaWF3L0ldxRhGq7ZjIWF6jMCDxIZdRs7Nb0JytYFC+ZSi3zFDratKi3gogq6ZQ65Wg0E6FuMb2xKB7vVwCzR6STbRaLRBcokTq9d70NpOzZxa4JTyPupcgrHDlNdq4C6ENiIzUpIX97dhP/oQKZoFfRRbKL9RFzfkPzQQ5DeCFc7E14+NqySLc8GboMio1cFZiHdXu+LXeqT2LmmmG1v/o3l7rgnm9iybHM1rJGAyCMIG/e0sESTatMg==
- Authentication-results-original: bugseng.com; dkim=none (message not signed) header.d=none;bugseng.com; dmarc=none action=none header.from=arm.com;
- Cc: Stefano Stabellini <stefano.stabellini@xxxxxxxxxx>, "Artem_Mygaiev@xxxxxxxx" <Artem_Mygaiev@xxxxxxxx>, "stefanos@xxxxxxxxxx" <stefanos@xxxxxxxxxx>, "fusa-sig@xxxxxxxxxxxxxxxxxxxx" <fusa-sig@xxxxxxxxxxxxxxxxxxxx>, Lavinia Battaglia <lavinia.battaglia@xxxxxxxxxxx>
- Delivery-date: Mon, 02 Aug 2021 16:02:57 +0000
- List-id: This is a discussion list for members of the Xen Project FuSa SIG <fusa-sig.lists.xenproject.org>
- Nodisclaimer: true
- Original-authentication-results: bugseng.com; dkim=none (message not signed) header.d=none;bugseng.com; dmarc=none action=none header.from=arm.com;
- Thread-index: AQHXgyR8/bgthWtg4k+PLFS0hIDqyKtgYl4AgAADlACAAANrAA==
- Thread-topic: Eclair presentation on Aug 3 at 8AM
> On 2 Aug 2021, at 16:50, Roberto Bagnara <roberto.bagnara@xxxxxxxxxxx> wrote:
>
> Hi there.
>
> Next week I will be on holiday in a place where I do not have
> sufficient bandwidth. But on August 12, Thursday, I will have
> to move anyway to a civilized place for the MISRA C WG meeting,
> so that meeting with you that day at 8AM California time
> is doable for me.
> Kind regards,
August 12 at 8AM California time would work for me to.
Cheers
Bertrand
>
> Roberto
>
> Roberto Bagnara, Ph.D.
>
> Software Verification Expert and Evangelist, BUGSENG (http://bugseng.com)
> Professor of Computer Science, University of Parma
> Member, ISO/IEC JTC1/SC22/WG14 - C Standardization Working Group
> Member, MISRA C Working Group
>
> On 02/08/21 17:37, Bertrand Marquis wrote:
>> Hi Stefano,
>> Sorry for the late answer but I am not available tomorrow, would it be
>> possible to reschedule for the following week ?
>> Cheers
>> Bertrand
>>> On 27 Jul 2021, at 21:17, Stefano Stabellini
>>> <stefano.stabellini@xxxxxxxxxx> wrote:
>>>
>>> Hi Artem, Bertand,
>>>
>>> Today Roberto Bagnara gave a fantastic presentation on using Eclair to
>>> scan Xen for MISRAC compliance. I think it would be great to have a
>>> longer session with both of you attending.
>>>
>>> Juggling around summer holidays, would you be available for a call on
>>> the topic on Tuesday August 3 at 8AM California time? Roberto kindly
>>> gave his availability. If not, please let me know and we can try to find
>>> another slot.
>>>
>>> Cheers,
>>>
>>> Stefano
|
