<div dir="ltr"><div style>New submission deadline: January 6th, 2013</div><div><br></div><div>==================================================</div><div>2nd International Workshop on</div><div>Engineering Safety and Security Systems</div>
<div>March 18, 2013, Luxembourg</div><div>Co-located with ICST 2013 in Luxembourg, March 18-22, 2013</div><div><br></div><div>More information:</div><div><a href="http://www.comp.nus.edu.sg/~pat/esss2013/">http://www.comp.nus.edu.sg/~pat/esss2013/</a></div>
<div>===================================================</div><div><br></div><div>Important dates</div><div>-----------------</div><div>* January 6th 2013: Submission deadline (extended)</div><div>* February 11th 2013: Notification of acceptance/rejection (extended)</div>
<div>* March 18th 2013: Workshop</div><div><br></div><div><br></div><div>Introduction of the Workshop</div><div>-----------------</div><div>The International Workshop on Engineering Safety and Security Systems</div><div>(ESSS) aims at contributing to the challenge of constructing reliable</div>
<div>and secure systems. The workshop covers areas such as formal</div><div>specification, (extended) type checking, model checking, program</div><div>analysis/transformation, model-based testing and model-driven software</div>
<div>construction. The workshop will bring together researchers and</div><div>industry R&D expertise together to exchange their knowledge, discuss</div><div>their research findings, and explore potential collaborations.</div>
<div><br></div><div><br></div><div>Theme of the Workshop</div><div>-----------------</div><div>The main theme of the workshop is methods and techniques for</div><div>constructing large reliable and secure systems. The goal of the</div>
<div>workshop is to establish a platform for the exchange of ideas,</div><div>discussion, cross-fertilization, inspiration, co-operation, and</div><div>dissemination. The topics of the workshop include, but are not</div><div>
limited to:</div><div><br></div><div>-- methods, techniques and tools for system safety and security</div><div>-- methods, techniques and tools for analysis, certification, and</div><div> debugging of complex safety and security systems</div>
<div>-- model-based and verification-based testing</div><div>-- emerging application domains such as cloud computing and</div><div> cyber-physical systems</div><div>-- case studies and experience reports on the use of formal methods</div>
<div> for analyzing safety and security systems</div><div><br></div><div><br></div><div>Submissions guidelines</div><div>-----------------</div><div>Paper submissions must be original, unpublished work. Submissions</div>
<div>should be in made via the Easychair site:</div><div><a href="https://www.easychair.org/conferences/?conf=esss2013">https://www.easychair.org/conferences/?conf=esss2013</a>.</div><div><br></div><div>Submitted manuscripts should be in English and formatted in the style</div>
<div>of the IEEE Computer Society Proceedings Format (see</div><div><a href="http://www.ieee.org/conferences_events/conferences/publishing/templates.html">http://www.ieee.org/conferences_events/conferences/publishing/templates.html</a>).</div>
<div>Papers should not exceed 6 pages for full papers and 2 pages for short</div><div>papers, including figures, references, and appendices. All submissions</div><div>should be in PDF format. Submissions not adhering to the specified</div>
<div>format and length may be rejected immediately, without review.</div><div><br></div><div>All workshop papers will be published in the IEEE Digital Library in</div><div>the form of a post-proceedings. A pre-workshop version of the papers</div>
<div>will be available on the workshop website prior. Publication of</div><div>accepted articles requires the commitment of one of the authors to</div><div>register for the workshop and present the paper.</div><div><br></div>
<div><br></div><div>General chair</div><div>-----------------</div><div>Sjouke Mauw, University of Luxembourg, Luxembourg</div><div><br></div><div><br></div><div>Program chairs</div><div>-----------------</div><div>Yang Liu, Nanyang Technological University, Singapore</div>
<div>Jun Pang, University of Luxembourg, Luxembourg</div><div><br></div><div><br></div><div>Program committee</div><div>-----------------</div><div>Etienne Andre, Universite Paris 13, France</div><div>Cyrille Artho, AIST, Japan</div>
<div>Marieke Huisma, University of Twente, The Netherlands</div><div>Weiqiang Kong, Kyushu University, Japan</div><div>Keqin Li, SAP Research, France</div><div>Yang Liu, Nanyang Technological University, Singapore</div><div>
Zhiming Liu, UNU/IIST Macao, China</div><div>Sjouke Mauw, University of Luxembourg, Luxembourg</div><div>Jun Pang, University of Luxembourg, Luxembourg</div><div>Geguang Pu, East China Normal University, China</div><div>Mohammad Torabi Dashti, ETH Zurich, Switzerland</div>
<div>Anton Wijs, Eindhoven University of Technology</div><div>Yoriyuki Yamagata, AIST, Japan</div><div><br></div></div>