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