May 17

8th International Workshop on Formal Aspects of Security & Trust

8th International Workshop on Formal Aspects of Security & Trust (FAST2011)

Leuven, Belgium.
September 15-16, 2011

FAST2011 Web Site.

Title/Abstract Submission: 1 June 2011
Paper submission: 5 June 2011