Hot-Spot 2013 - 1st Workshop on Hot issues in Security Principles and Trust (Hot-Spot)
Topics/Call fo Papers
This workshop is intended to be a less formal counterpart to the Principles of Security and Trust (POST) conference at ETAPS, and with an emphasis on "hot topics", both of security and of its theoretical foundations and analysis.
Like POST, the themes are
theory of computer security;
formal specification, analysis and design of security systems;
automated reasoning for security analysis.
Submissions about new and emerging topics (for example, those that have not appeared prominently in conferences and workshops until now) are particularly encouraged. Submissions of preliminary, tentative work are also encouraged. There is no page limit, but the length of your submission should be appropriate to its content. There will be no formal proceedings. Inclusion in informal proceedings is optional.
Mark Ryan (University of Birmingham, UK)
Like POST, the themes are
theory of computer security;
formal specification, analysis and design of security systems;
automated reasoning for security analysis.
Submissions about new and emerging topics (for example, those that have not appeared prominently in conferences and workshops until now) are particularly encouraged. Submissions of preliminary, tentative work are also encouraged. There is no page limit, but the length of your submission should be appropriate to its content. There will be no formal proceedings. Inclusion in informal proceedings is optional.
Mark Ryan (University of Birmingham, UK)
Other CFPs
- 3rd Workshop on Hybrid Autonomous Systems (HAS)
- 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)
- 2nd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE)
- 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)
- 4th International workshop on Developments in Implicit Computational complExity (DICE)
Last modified: 2012-06-30 21:26:52