<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote">$B;37A!w;:Am8&$G$9!#(B</div><div class="gmail_quote"><br><div dir="ltr"><div class="gmail_quote">$B3'MM!"2<5-$N$h$&$JO@J8Jg=8$,=P$F$*$j$^$9!#7A<0<jK!$J$I$H$b4X78?<$$%o!<%/%7%g%C%W$G$9$N$G!"Ej9F$r$48!F$$$$?$@$1$l$P9,$$$G$9!#(B($BF1MM$N(BCFP$B$r=EJ#$7$F<u$1<h$i$l$?J}$O$4MF<O2<$5$$(B)</div>
<div><div class="h5"><div class="gmail_quote">
<br>==================================================<br>
3rd International Workshop on<br>
Engineering Safety and Security Systems<br>
May 12, 2014, Singapore<br>
Co-located with FM 2014 in Singapore, May 12-26, 2014<br>
<br>
More information:<br>
<a href="http://pat.sce.ntu.edu.sg/esss14/" target="_blank">http://pat.sce.ntu.edu.sg/esss14/</a><br>
===================================================<br>
<br>
Important dates<br>
-----------------<br>
* February 10th, 2014: Submission deadline<br>
* March 17th, 2014: Notification of acceptance/rejection<br>
* May 12th, 2014: 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=esss2014" target="_blank">https://www.easychair.org/conferences/?conf=esss2014</a>.<br>
<br>
We invite two types of submissions:<br>
<br>
--Regular papers (up to 15 pages) describing original and unpublished<br>
work within the scope of the workshop.<br>
--Short papers (up to 6 pages) describing work in progress or less<br>
mature results.<br>
<br>
Case studies and tool papers are welcome as well. All submissions must<br>
be prepared in LATEX using the EPTCS macro package.<br>
<br>
The final versions of accepted regular and short papers will be<br>
published as a volume of Electronic Proceedings in Theoretical<br>
Computer Science (EPTCS). Furthermore, authors of a selection of the<br>
accepted papers will be invited to submit an extended version of their<br>
articles to a special issue of a high-quality journal, after the<br>
workshop. Publication of accepted articles requires the commitment of<br>
one of the authors to register for the workshop and present the paper.<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>
Toalue Chen, Middelsex University, UK<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<span><font color="#888888"><br>
<br></font></span></div><span><font color="#888888"><div dir="ltr"><div dir="ltr"><div><br></div><div><div dir="ltr"><div class="gmail_extra">
-- <br>$B;37AMjG7(B<br>$BFHN)9T@/K!?M(B $B;:6H5;=QAm9g8&5f=j(B $B<gG$8&5f0w(B<br>E-mail: <a href="mailto:yoriyuki.yamagata@aist.go.jp" target="_blank">yoriyuki.yamagata@aist.go.jp</a><br><a href="http://staff.aist.go.jp/yoriyuki.yamagata/" target="_blank">http://staff.aist.go.jp/yoriyuki.yamagata/</a><br>
</div></div></div></div></div></font></span></div></div></div>
</div><br></div>
</div><br></div>