Re: Eclair presentation on Aug 3 at 8AM

[Roberto Bagnara <roberto.bagnara@xxxxxxxxxxx>]

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,

   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