[C-safe-secure-studygroup] Meeting - Wednesday 25 January 2017

[Roberto Bagnara]

On 25/01/2017 09:29, Laurence Urhegyi wrote:
> Agenda attached.
> 
> I have rounded up all of the topics discussed in the conversations
> on the list and listed them. Some may be more relevant than others.

Thanks Laurence.

Seeing that the webex meeting page has 1 hour as the duration of the
meeting, I have accepted a hard commitment at 18:15 GMT (which I can
no longer retract), so I will have to leave at 18:00 GMT.  I would be
glad to illustrate my views on the conformance requirements for tool
vendors if that can be scheduled earlier than the agenda suggests.
Kind regards,

   Roberto

> On 24/01/17 20:49, Laurence Urhegyi wrote:
>> Hi all,
>>
>> A few things in advance of the meeting tomorrow:
>>
>> One of my actions was to do a poll for the name of the study group.
>> Having looked through all the suggestions for names, they were actually
>> more focused on names for the document, which should come later in this
>> process. For now we just need a name for the group, so I don't think a
>> poll is actually needed, and I suggest that we go with the simple (yet a
>> little vague) 'C Safety and Security Study Group'. Remember, we can
>> always change the name of the group - it doesn’t constrain what we title
>> the output document. Happy to be steered differently on this if it is
>> less trivial than I have supposed.
>>
>> Regarding annotations to the text on gitlab - having spoken to people
>> who are much better placed to comment on this than I, using the wiki for
>> updates is the best way to proceed. It has version control and if any
>> mistakes are made then we can go back and retrieve previous versions.
>> Whether we allow everyone to edit or not is a different question and one
>> which should probably formalise tomorrow.
>>
>> As a reminder for the meeting:
>>
>> WebEx link:
>>
>> https://iso-meetings.webex.com/iso-meetings/j.php?MTID=mc7e068eb32054b742c7b6d6bba0afd1d
>>
>>
>> Dial in numbers:
>>
>> UK toll-free 0800-051-3810
>> UK toll +44-203-478-5289
>> Italy toll    +39 0230410 440
>> Italy toll free    800-870552
>> Japan toll    +81 34580 8156
>> Japan toll free    0053-11-61212
>> USA/Canada toll    +1 631 267 4890
>> USA/Canada toll free    1-855-299-522
>>
>> Agenda to follow very soon.
>>
>> Thanks and speak to you all tomorrow at 17:00 UTC.
>>
>> Laurence
>>
>>
>> _______________________________________________
>> 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
>>
> 
> 
> 
> 
> 
> 
> _______________________________________________
> 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
> 


-- 
     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