[C-safe-secure-studygroup] schedule
Robert Seacord
rcseacord at gmail.com
Wed Mar 22 16:46:28 UTC 2017
Updated. I put this list together awhile ago, so I'm not sure it's up to
date.
On Wed, Mar 22, 2017 at 12:29 PM, Roberto Bagnara <bagnara at cs.unipr.it>
wrote:
> On 22/03/2017 16:50, Robert Seacord wrote:
> > I've attached a draft of a presentation that can be used to talk about
> the study group... it's a work in progress.
> >
> > tl;dr slide 33 contains a proposed revision schedule. i would like to
> discuss this in today's call.
>
> Hi Robert.
>
> I have a double affiliation, so in slide number 29
> we should have
>
> Roberto Bagnara University of Parma / BUGSENG
>
> Thanks,
>
> Roberto
>
> --
> Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it
> BUGSENG srl - http://bugseng.com
> mailto:roberto.bagnara at bugseng.com
>
>
> _______________________________________________
> C-safe-secure-studygroup mailing list
> C-safe-secure-studygroup at lists.trustable.io
> https://lists.trustable.io/cgi-bin/mailman/listinfo/c-
> safe-secure-studygroup
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.trustable.io/pipermail/c-safe-secure-studygroup/attachments/20170322/961d5b65/attachment.html>
More information about the C-safe-secure-studygroup
mailing list