<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div style="font-family: Calibri, sans-serif; font-size: 14px;">CALL FOR PAPERS</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">===============</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">HotSpot 2015</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">3rd Workshop on Hot Issues in Security Principles and Trust</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">===========================================================</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Affiliated with ETAPS 2015 ( <a href="http://www.etaps.org/2015">http://www.etaps.org/2015</a> )</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">London, UK</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">18 April 2015</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><a href="http://www.lucavigano.com/HotSpot2015/"><i>http://www.lucavigano.com/HotSpot2015/</i></a></div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Important Dates</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">===============</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Deadline for submissions: January 5, 2015</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Notification: February 6, 2015</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Final version for informal proceedings (optional): February 15, 2015</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Scope</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">=====</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">This workshop is intended to be a less formal counterpart to the</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><a href="http://www.etaps.org/2015/post">Principles of Security and Trust (POST)</a> conference at ETAPS, and with</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">an emphasis on "hot topics", both of security and of its theoretical</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">foundations and analysis. </div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Like POST, the themes are:</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">- theory of computer security;</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">- formal specification, analysis and design of security systems;</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">- automated reasoning for security analysis.</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Submissions about new and emerging topics (for example, those that</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">have not appeared prominently in conferences and workshops until now)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">are particularly encouraged. Submissions of preliminary, tentative</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">work are also encouraged. </div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">There is no page limit, but the length of your submission should be </div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">appropriate to its content. </div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">There will be no formal proceedings. Inclusion in informal proceedings is </div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">optional.</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">
<div><br>
</div>
<div>This workshop is organised by the IFIP WG 1.7: Theoretical Foundations</div>
<div>of Security Analysis and Design (<a href="http://www.dsi.unive.it./IFIPWG1_7/">http://www.dsi.unive.it./IFIPWG1_7/</a>)</div>
<div><br>
</div>
<div><br>
</div>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Program Committee</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">=================</div>
<div><font face="Calibri, sans-serif"><span style="font-size: 14px;">Giampaolo Bella (University of Catania, Italy)</span></font></div>
<div><span style="font-family: Calibri, sans-serif; font-size: 14px;">Bruno Blanchet (INRIA Paris-Rocquencourt, France)</span></div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Pierpaolo Degano (University of Pisa, Italy)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Joshua Guttman (Worcester Polytechnic Institute, USA)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Matteo Maffei (Saarland University, Germany)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Sergio Maffeis (Imperial College London, UK)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Cathy Meadows (Naval Research Laboratory, USA)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Sebastian Moedersheim (Technical University of Denmark)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Charles Morissett (Newcastle University, UK)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Jean-Jacques Quisquater (Catholic University of Louvain, Belgium)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Mark Ryan (University of Birmingham, UK)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Peter Y. A. Ryan (University of Luxembourg)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Pierangela Samarati (University of Milano, Italy)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Steve Schneider (University of Surrey, UK)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Geoffrey Smith (Florida International University, USA)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Luca Vigaṇ (King's College London, UK; program chair)</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><span class="Apple-tab-span" style="white-space: pre;"></span> </div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Submissions</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">===========</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Submissions are via EasyChair: <a href="https://easychair.org/conferences/?conf=hotspot2015">https://easychair.org/conferences/?conf=hotspot2015</a></div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Contact</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">=======</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Luca Vigaṇ (program chair): <a href="mailto:luca.vigano@kcl.ac.uk">luca.vigano@kcl.ac.uk</a></div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;"><br>
</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">Registration, accommodation and travel</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">======================================</div>
<div style="font-family: Calibri, sans-serif; font-size: 14px;">See ETAPS web site <a href="http://www.etaps.org/2015">http://www.etaps.org/2015</a></div>
</body>
</html>