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