<div dir="ltr"><div style="font-family:arial,sans-serif;font-size:13px">SETTA 2015</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Symposium on Dependable Software Engineering: Theories, Tools and Applications</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Nanjing University </div><div style="font-family:arial,sans-serif;font-size:13px"><span class="" tabindex="0"><span class="">November 4-6, 2015</span></span></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">IMPORTANT DATES</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><span class="" tabindex="0"><span class="">June 12,2015</span></span> <span style="white-space:pre-wrap">                </span>Abstracts</div><div style="font-family:arial,sans-serif;font-size:13px"><span class="" tabindex="0"><span class="">June 19,2015</span></span> <span style="white-space:pre-wrap">                </span>Submission of papers</div><div style="font-family:arial,sans-serif;font-size:13px"><span class="" tabindex="0"><span class="">August 21,2015</span></span> <span style="white-space:pre-wrap">                </span>Notification to authors</div><div style="font-family:arial,sans-serif;font-size:13px"><span class="" tabindex="0"><span class="">September 4,2015</span></span> <span style="white-space:pre-wrap">        </span>Camera-ready versions</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">KEYNOTE SPEAKERS</div><div style="font-family:arial,sans-serif;font-size:13px">Sanjoy Baruah, University of North Carolina at Chapel Hill, USA </div><div style="font-family:arial,sans-serif;font-size:13px">David Harel,   Weizmann Institute of Science, Israel </div><div style="font-family:arial,sans-serif;font-size:13px">Huimin Lin,    Institute of Software, CAS, China</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">BACKGROUND AND OBJECTIVES</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. Contributions relating to formal methods or</div><div style="font-family:arial,sans-serif;font-size:13px">integrating them with software engineering, as well as papers advancing scalability or widening the scope of rigorous methods to new design goals are especially welcome.</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Being hosted in China, the symposium will also provide a platform for building up research collaborations between the rapidly growing Chinese computer science community and its international counterpart. The symposium will support this process through dedicated events and therefore welcomes both young researchers considering international collaboration in formal methods and established researchers looking for international cooperation and willing to attract new colleagues to the domain.</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods either by substantiating the advantages of integrating formal methods into the development cycle or through delineating need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains.</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Submissions can take the form of either normal or short papers. Short papers can discuss ongoing research at an early stage, including PhD projects. Papers should be written in English. Regular Papers should not exceed 15 pages and Short Papers should not exceed 6 pages in LNCS format (see<a href="http://www.springer.de/comp/lncs/authors.html" target="_blank">http://www.springer.de/comp/lncs/authors.html</a> for details). The proceedings will be published as a volume in Springer&#39;s LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspect Computing journal.</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">TOPICS</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Topics of interest include, but are not limited to:</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"> * Requirements specification and analysis</div><div style="font-family:arial,sans-serif;font-size:13px"> * Formalisms for modeling, design and implementation</div><div style="font-family:arial,sans-serif;font-size:13px"> * Model checking, theorem proving, and decision procedures</div><div style="font-family:arial,sans-serif;font-size:13px"> * Scalable approaches to formal system analysis</div><div style="font-family:arial,sans-serif;font-size:13px"> * Formal approaches to simulation and testing</div><div style="font-family:arial,sans-serif;font-size:13px"> * Integration of formal methods into software engineering practice</div><div style="font-family:arial,sans-serif;font-size:13px"> * Contract-based engineering of components, systems, and systems of systems</div><div style="font-family:arial,sans-serif;font-size:13px"> * Formal and engineering aspects of software evolution and maintenance</div><div style="font-family:arial,sans-serif;font-size:13px"> * Parallel and multicore programming</div><div style="font-family:arial,sans-serif;font-size:13px"> * Embedded, real-time, hybrid, and cyber-physical systems</div><div style="font-family:arial,sans-serif;font-size:13px"> * Mixed-critical applications and systems</div><div style="font-family:arial,sans-serif;font-size:13px"> * Formal aspects of service-oriented and cloud computing</div><div style="font-family:arial,sans-serif;font-size:13px"> * Safety, reliability, robustness, and fault-tolerance</div><div style="font-family:arial,sans-serif;font-size:13px"> * Empirical analysis techniques and integration with formal methods</div><div style="font-family:arial,sans-serif;font-size:13px"> * Applications and industrial experience reports</div><div style="font-family:arial,sans-serif;font-size:13px"> * Tool integration</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">GENERAL CHAIR</div><div style="font-family:arial,sans-serif;font-size:13px">  Jian Lv, Nanjing University, China </div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">PROGRAMME CO-CHAIRS</div><div style="font-family:arial,sans-serif;font-size:13px">  Xuandong Li, Nanjing University, China </div><div style="font-family:arial,sans-serif;font-size:13px">  Zhiming Liu, Birmingham City University, UK   </div><div style="font-family:arial,sans-serif;font-size:13px">  Yi Wang, Uppsala University, Sweden   </div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">PUBLICITY CHAIRS</div><div style="font-family:arial,sans-serif;font-size:13px">  Jonathan Bowen, Birmingham City University, UK </div><div style="font-family:arial,sans-serif;font-size:13px">  Lijun Zhang, Institute of Software,Chinese Academy of Sciences, China </div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">PUBLICATION CHAIR</div><div style="font-family:arial,sans-serif;font-size:13px">  Martin Fränzle, University of Oldenburg, Germany  </div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">LOCAL ORGANIZATION CHAIR</div><div style="font-family:arial,sans-serif;font-size:13px">  Xin Chen, Nanjing University, China  </div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">PROGRAM COMMITTEE</div><div style="font-family:arial,sans-serif;font-size:13px">* Farhad Arbab,  CWI and Leiden University,The Netherlands </div><div style="font-family:arial,sans-serif;font-size:13px">* Luis Barbosa,  Universidade do Minho,Portugal </div><div style="font-family:arial,sans-serif;font-size:13px">* Jonathan Bowen,  Birmingham City University,UK </div><div style="font-family:arial,sans-serif;font-size:13px">* Nikolaj Bjorner,  Microsoft Research,USA </div><div style="font-family:arial,sans-serif;font-size:13px">* Michael Butler,  University of Southampton,UK </div><div style="font-family:arial,sans-serif;font-size:13px">* Van Hung Dang,  Vietnam National University,Vientam </div><div style="font-family:arial,sans-serif;font-size:13px">* Martin Fränzle,  University of Oldenburg,Germany </div><div style="font-family:arial,sans-serif;font-size:13px">* Goran Frehse,  Universite Joseph Fourier Grenoble 1–Verimag, France </div><div style="font-family:arial,sans-serif;font-size:13px">* Lindsay Groves,  Victoria University of Wellington,New Zealand</div><div style="font-family:arial,sans-serif;font-size:13px">* Tei-Wei Guo, National Taiwan University, TW, China</div><div style="font-family:arial,sans-serif;font-size:13px">* Holger Hermanns,  Saarland University,Germany </div><div style="font-family:arial,sans-serif;font-size:13px">* Ian J. Hayes,  University of Queensland,Australia </div><div style="font-family:arial,sans-serif;font-size:13px">* Gerwin Klein,  NICTA and UNSW,Australia </div><div style="font-family:arial,sans-serif;font-size:13px">* Insup Lee,  University of Pennsylvania,USA </div><div style="font-family:arial,sans-serif;font-size:13px">* Xuandong Li, Nanjing University, China </div><div style="font-family:arial,sans-serif;font-size:13px">* Shaoying Liu,  Hosei University,Japan </div><div style="font-family:arial,sans-serif;font-size:13px">* Zhiming Liu, Birmingham City University, UK </div><div style="font-family:arial,sans-serif;font-size:13px">* Mingsong LU, North Eastern University, China                                     </div><div style="font-family:arial,sans-serif;font-size:13px">* Xiaoguang Mao,  National University of Defense Technology,China </div><div style="font-family:arial,sans-serif;font-size:13px">* Jun Pang,  University of Luxembourg,Luxembourg </div><div style="font-family:arial,sans-serif;font-size:13px">* Paritosh Pandya,  Tata Institute of Fundamental Research Research,India </div><div style="font-family:arial,sans-serif;font-size:13px">* Paul Pettersson,  Mälardalen University, Sweden </div><div style="font-family:arial,sans-serif;font-size:13px">* Zongyan Qiu,  Peking University,China </div><div style="font-family:arial,sans-serif;font-size:13px">* Shengchao Qin,  Teesside University,UK </div><div style="font-family:arial,sans-serif;font-size:13px">* Jean-Francois Raskin,  Université Libre de Bruxelles,Belgium </div><div style="font-family:arial,sans-serif;font-size:13px">* Stefan Ratschan,  Czech Academy of Sciences,CZ </div><div style="font-family:arial,sans-serif;font-size:13px">* Martin Steffen,  University of Oslo,Norway </div><div style="font-family:arial,sans-serif;font-size:13px">* Cesare Tinelli,  The University of Iowa,USA </div><div style="font-family:arial,sans-serif;font-size:13px">* Tarmo Uustalu,  Tallinn University of Technology,Estonia </div><div style="font-family:arial,sans-serif;font-size:13px">* Irina Virbitskaite,  Ershov Institute of Informatics Systems,Russian </div><div style="font-family:arial,sans-serif;font-size:13px">* Farn Wang, National Taiwan University, TW, China</div><div style="font-family:arial,sans-serif;font-size:13px">* Qixin Wang, The Hong Kong Polytechnic University, HK, China</div><div style="font-family:arial,sans-serif;font-size:13px">* Yi Wang, Uppsala University, Sweden   </div><div style="font-family:arial,sans-serif;font-size:13px">* Lijun Zhang,  Institute of Software, Chinese Academy of Sciences,China </div><div style="font-family:arial,sans-serif;font-size:13px">* Jianhua Zhao,  Nanjing University,China </div><div style="font-family:arial,sans-serif;font-size:13px">* Huibiao Zhu,  East China Normal University,China </div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">STEERING COMMITTEE</div><div style="font-family:arial,sans-serif;font-size:13px">* Zhenhua Duan, Xi’dian University, China</div><div style="font-family:arial,sans-serif;font-size:13px">* Martin Fränzle, University of Oldenburg, Germany</div><div style="font-family:arial,sans-serif;font-size:13px">* Kim Larsen, Aalborg University, Denmark</div><div style="font-family:arial,sans-serif;font-size:13px">* Xuandong Li, Nanjing University China</div><div style="font-family:arial,sans-serif;font-size:13px">* Zhiming Liu, Birmingham City University,UK</div><div style="font-family:arial,sans-serif;font-size:13px">* Sriram Rajamani, Microsoft Research India</div><div style="font-family:arial,sans-serif;font-size:13px">* Ji Wang, National University of Defense Science and Technology, China</div><div style="font-family:arial,sans-serif;font-size:13px">* Kwangkeun Yi, Seoul National University, Korea </div><div style="font-family:arial,sans-serif;font-size:13px">* Naijun Zhan (Chair), Software Institute, Chinese Academy of Sciences, China</div></div>