[ecoop-info] 2nd CFP: HotSpot 2015 (3rd Workshop on Hot Issues in Security Principles and Trust)

[Vigano, Luca]

SECOND CALL FOR PAPERS
=======================

HotSpot 2015
3rd Workshop on Hot Issues in Security Principles and Trust
==============================================

Affiliated with ETAPS 2015 ( http://www.etaps.org/2015 )
London, UK
18 April 2015

http://www.lucavigano.com/HotSpot2015/

Important Dates
============
Deadline for submissions: January 5, 2015
Notification: February 6,  2015
Final version for informal proceedings (optional): February 15, 2015


Scope
=====
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.

This workshop is organised by the IFIP WG 1.7: Theoretical Foundations
of Security Analysis and Design (http://www.dsi.unive.it./IFIPWG1_7/)


Program Committee
===============
Giampaolo Bella (University of Catania, Italy)
Bruno Blanchet (INRIA Paris-Rocquencourt, France)
Pierpaolo Degano (University of Pisa, Italy)
Joshua Guttman (Worcester Polytechnic Institute, USA)
Matteo Maffei (Saarland University, Germany)
Sergio Maffeis (Imperial College London, UK)
Cathy Meadows (Naval Research Laboratory, USA)
Sebastian Moedersheim (Technical University of Denmark)
Charles Morissett (Newcastle University, UK)
Jean-Jacques Quisquater (Catholic University of Louvain, Belgium)
Mark Ryan (University of Birmingham, UK)
Peter Y. A. Ryan (University of Luxembourg)
Pierangela Samarati (University of Milano, Italy)
Steve Schneider (University of Surrey, UK)
Geoffrey Smith (Florida International University, USA)
Luca Viganò (King's College London, UK; program chair)
 

Submissions
==========
Submissions are via EasyChair: https://easychair.org/conferences/?conf=hotspot2015


Contact
=======
Luca Viganò (program chair): luca.vigano at kcl.ac.uk


Registration, accommodation and travel
==============================
See ETAPS web site http://www.etaps.org/2015