<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">
<div id="divRpF18709" style="font-family: "Times New Roman"; font-size: 13.3333px; direction: ltr;">
<span style="font-size: medium; font-family: "Microsoft YaHei UI", Tahoma;">(apologies for cross-posting)</span></div>
<div style="font-family: "Times New Roman"; font-size: 13.3333px;">
<div><span style="font-family: "Microsoft YaHei UI", Tahoma; line-height: normal;"><font size="3"><br>
</font></span></div>
<div><font size="3">========================================</font></div>
<div><span style="line-height: 1.5;"><font size="3">SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">Institute of Software, Chinese Academy of Sciences, Beijing, China, November 25-27, 2021</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">Submission deadline: <font color="#ff0000">July 30, 2021</font></font></span></div>
<div><span style="line-height: 1.5;"><font size="3">Conference website: https://lcs.ios.ac.cn/setta2021/ </font></span></div>
<div><span style="line-height: 1.5;"><font size="3">Colocated with FM'2021</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">========================================</font></span></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">************************</font></div>
<div><span style="line-height: 1.5;"><b><font size="3">ABOUT SETTA 2021</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2021 will be held in Beijing, China on November 25-27, 2021, co-located with FM'2021.</font></span></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software
modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to
engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth.</font></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">The purpose of the SETTA symposium is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. The interaction with the Chinese computer science
and software engineering community is a central focus point. The aim is to show research interests and results from different groups so as to initiate interest-driven research collaboration. The SETTA symposium is aiming at academic excellence and its objective
is to become a flagship conference on formal software engineering in China.</font></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">To achieve these goals and contribute to the sustainability of the formal methods research, it is important for the symposium to attract young researchers into the community. Thus, this symposium encourages in particular the participation
of young researchers and students.</font></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">All submissions must be in the PDF format. Papers should be written in English. Submitted papers must be unpublished and not submitted for publication elsewhere. Accepted papers for both tracks must be presented at the conference.</font></div>
<div><font size="3"><br>
</font></div>
<div><font size="3"><b>Latest News: Special issues for the Elsevier Journal of Systems Architecture (JSA) and the</b><b> International Journal on Software Tools for Technology Transfer (STTT) </b><b>have been confirmed. Authors of selected papers from SETTA2021
will be invited to submit an extended version of their SETTA2021 paper to one of these special issues.</b></font></div>
<div><font size="3"><br>
</font></div>
<div><br>
</div>
<div><font size="3">************************</font></div>
<div><span style="line-height: 1.5;"><b><font size="3">LIST OF TOPICS</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">Topics of interest include, but are not limited to:</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Requirements specification and analysis</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Formalisms for modeling, design and implementation</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Model checking, theorem proving, and decision procedures</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Scalable approaches to formal system analysis</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Formal approaches to simulation, run-time verification, and testing</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Integration of formal methods into software engineering practice</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Contract-based engineering of components, systems, and systems of systems</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Formal and engineering aspects of software evolution and maintenance</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Parallel and multicore programming</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Embedded, real-time, hybrid, probabilistic, and cyber-physical systems</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Mixed-critical applications and systems</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Formal aspects of service-oriented and cloud computing</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Safety, reliability, robustness, and fault-tolerance</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Dependability of smart software and systems</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Empirical analysis techniques and integration with formal methods</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Applications and industrial experience reports</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Software tools to assist the construction or analysis of software systems</font></span></div>
<div><font size="3"><br>
</font></div>
<div>
<div><font size="3"><br>
</font></div>
<div><font size="3">************************</font></div>
<div><span style="line-height: 1.5;"><b><font size="3">CONFIRMED KEYNOTE SPEAKERS</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
</div>
<div><font size="3"><span style="line-height: 1.5;">-</span><span style="line-height: 1.5;"> </span>Prof. Joost-Pieter Katoen<span style="white-space: pre;">
</span>RWTH Aachen University<br>
- Prof. Fritz Vaandrager<span style="white-space: pre;"> </span>Radboud University<br>
- Prof. Charles Zhang<span style="white-space: pre;"> </span>Hong Kong University of Science and Technology</font></div>
<div><span style="line-height: 1.5;"><font size="3"><br>
</font></span></div>
<div><span style="line-height: 1.5;"><font size="3"><br>
</font></span></div>
<div><font size="3">************************</font></div>
<div><span style="line-height: 1.5;"><b><font size="3">RESEARCH PAPERS TRACK</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
<div><font size="3">Research papers will be published in the SETTA 2021 proceedings as a volume in Springer's LNCS series. Papers should be submitted electronically through the EasyChair submission web page <https://easychair.org/conferences/?conf=setta2021>. </font></div>
<div><font size="3"><br>
</font></div>
<div><span style="line-height: 1.5;"><font size="3">------------------------</font></span></div>
<div><span style="line-height: 1.5;"><b><font size="3">Important Dates</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">------------------------</font></span></div>
<div><font size="3">Abstract & Paper Submission: July 30, 2021 (AoE)</font></div>
<div><span style="line-height: 1.5;"><font size="3">Notification to authors: September 3, 2021 (AoE)</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">Camera-ready versions: September 20, 2021 (AoE)</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">Conference date: November 25-27, 2021</font></span></div>
<div><font size="3"><br>
</font></div>
<div><span style="line-height: 1.5;"><font size="3">------------------------</font></span></div>
<div><span style="line-height: 1.5;"><b><font size="3">Submission Guidelines</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">------------------------</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">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 and applications thereof in software engineering. This is done by either substantiating the advantages of integrating formal methods into the development cycle or through delineating the need for research
by demonstrating weaknesses of existing technologies, especially when addressing new application domains.</font></span></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">Submissions can take the form of either regular or short papers. Regular papers should not exceed 16 pages (excluding references) in LNCS format. Short papers can discuss ongoing research at an early stage, including PhD projects. Short
papers should not exceed 6 pages (excluding references) in LNCS format. </font></div>
<div><br>
</div>
<div><font size="3"><br>
</font></div>
<div><font size="3">************************</font></div>
<div><span style="line-height: 1.5;"><b><font size="3">COMMITTEES</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">General Chair:</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Chen Zhao, Institute of Software, Chinese Academy of Sciences</font></span></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">Program Chair:</font></div>
<div><span style="line-height: 1.5;"><font size="3">- Shengchao Qin, Teesside University</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Jim Woodcock, University of York</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">- Wenhui Zhang, Institute of Software, Chinese Academy of Sciences</font></span></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">Local Organisation Chair:</font></div>
<div><span style="line-height: 1.5;"><font size="3">- Zhilin Wu, Institute of Software, Chinese Academy of Sciences</font></span></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">Publicity Chair:</font></div>
<div><span style="line-height: 1.5;"><font size="3">- Fu Song, ShanghaiTech University </font></span></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">Program Committee Members:</font></div>
<div><font size="3">- Yamine Ait-Ameur (IRIT/INPT-ENSEEIHT)</font></div>
<div><font size="3">- Richard Banach (The University of Manchester)</font></div>
<div><font size="3">- Lei Bu (Nanjing University)</font></div>
<div><font size="3">- Milan Ceska (Brno University of Technology)</font></div>
<div><font size="3">- Sudipta Chattopadhyay (Singapore University of Technology and Design)</font></div>
<div><font size="3">- Liqian Chen (National University of Defense Technology)</font></div>
<div><font size="3">- Yu-Fang Chen (Academia Sinica)</font></div>
<div><font size="3">- Alessandro Cimatti (Fondazione Bruno Kessler)</font></div>
<div><font size="3">- Florin Craciun (Babes-Bolyai University)</font></div>
<div><font size="3">- Yuxin Deng (East China Normal University)</font></div>
<div><font size="3">- Wei Dong (National University of Defense Technology)</font></div>
<div><font size="3">- Hongfei Fu (Shanghai Jiao Tong University)</font></div>
<div><font size="3">- Jan Friso Groote (Eindhoven University of Technology)</font></div>
<div><font size="3">- Nan Guan (The Hong Kong Polytechnic University)</font></div>
<div><font size="3">- Dimitar Guelev (Bulgarian Academy of Sciences)</font></div>
<div><font size="3">- Thai Son Hoang (University of Southampton)</font></div>
<div><font size="3">- Chao Huang (University of Liverpool, Northwestern University)</font></div>
<div><font size="3">- Yu Jiang (Tsinghua University)</font></div>
<div><font size="3">- Sebastian Junges (University of California, Berkeley)</font></div>
<div><font size="3">- Guoqiang Li (Shanghai Jiao Tong University)</font></div>
<div><font size="3">- Yi Li (Nanyang Technological University)</font></div>
<div><font size="3">- Zhiming Liu (Southwest University)</font></div>
<div><font size="3">- Yang Liu (Nanyang Technological University)</font></div>
<div><font size="3">- Tiziana Margaria (Lero)</font></div>
<div><font size="3">- Dominique Mery (Universite de Lorraine, LORIA)</font></div>
<div><font size="3">- Stefan Mitsch (Carnegie Mellon University)</font></div>
<div><font size="3">- Jun Pang (University of Luxembourg)</font></div>
<div><font size="3">- Dave Parker (University of Birmingham)</font></div>
<div><font size="3">- Yu Pei (HK Polytechnic University)</font></div>
<div><font size="3">- Shengchao Qin (Teesside University)</font></div>
<div><font size="3">- Mickael Randour (F.R.S.-FNRS & Universite de Mons)</font></div>
<div><font size="3">- Stefan Schupp (TU Wien)</font></div>
<div><font size="3">- Zhiping Shi (Beijing Eng. Research Center of High Reliable Embbeded Systems)</font></div>
<div><font size="3">- Fu Song (ShanghaiTech University)</font></div>
<div><font size="3">- Jeremy Sproston (University of Turin)</font></div>
<div><font size="3">- Ting Su (East China Normal University)</font></div>
<div><font size="3">- Jun Sun (Singapore Management University)</font></div>
<div><font size="3">- Meng Sun (Peking University)</font></div>
<div><font size="3">- Andrea Turrini (Institute of Software, CAS)</font></div>
<div><font size="3">- Tarmo Uustalu (Reykjavik University)</font></div>
<div><font size="3">- Jaco van de Pol (Aarhus University)</font></div>
<div><font size="3">- Jim Woodcock (University of York)</font></div>
<div><font size="3">- Xiaofei Xie (Kyushu University)</font></div>
<div><font size="3">- Zhiwu Xu (Shenzhen University)</font></div>
<div><font size="3">- Bai Xue (Institute of Software, CAS)</font></div>
<div><font size="3">- Chenyi Zhang (Jinan University)</font></div>
<div><font size="3">- Wenhui Zhang (Institute of Software, CAS)</font></div>
<div><font size="3"><br>
</font></div>
<div><font size="3"><br>
</font></div>
<div><font size="3">************************</font></div>
<div><span style="line-height: 1.5;"><b><font size="3">VENUE</font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">The conference will be held in Beijing, China. </font></span></div>
<div><font size="3"><br>
</font></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
<div><span style="line-height: 1.5;"><b><font size="3">CONTACT </font></b></span></div>
<div><span style="line-height: 1.5;"><font size="3">************************</font></span></div>
<div><span style="line-height: 1.5;"><font size="3">All questions about submissions should be emailed to setta2021@easy*chair.org (remove *). </font></span></div>
</div>
</div>
</body>
</html>