[TYPES/announce] Second CFP GraMSec 2020

[Harley D. Eades III]

Hi, everyone.

A few updates with respect to GraMSec 2020.  It is now going to be fully
online, and we will have a post proceedings in LNCS.

I would like to reiterate what I said before, we have an updated scope:

1. Graph representations: mathematical, conceptual, and implemented
tools for describing and reasoning about security and safety
2. Logical approaches: formal logical tools for representing and
reasoning about graphs and their use as modelling tools in security
7. Semantics: developing or studying semantic approaches to graph-based
models used in security like set theoretic models, categorical models,
logical models, etc.
8. Threat modelling: modelling and analysing software systems security,
models for DevSecOps, etc.
9. Security requirements: models and tools for describing and analysing
requirements on system security and privacy.
11. Secure systems: safe and secure system design, quantification of
security/safety, models for system security/safety evaluation.

These entries have a large non-empty intersection with topics related to
this community.

So submissions from this community will be well-received.

Feel free to contact me with any questions.

Very best,
Harley
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200408/f4c5d71d/attachment.html>