ETAPS Workshop on Graphical Models for Security organised by the TREsPASS consortium

The First International Workshop on Graphical Models for Security (GraMSec'14)  will take place on April 12, in Grenoble, in co-location with ETAPS 2014.

The GraMSec workshop brings together academic researchers and industry practitioners designing and employing visual models for
security in order to provide a platform for discussion, knowledge exchange and collaborations. The event will strongly contribute to the
further development of the field, in particular, to bridge a gap between theoretical research and practical applications of the graphical models
for security, which is at the centre of the TREsPASS project.