[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