<html><head><meta http-equiv="content-type" content="text/html; charset=ISO-8859-1"><style>body { line-height: 1.5; }blockquote { margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em; }div.FoxDiv20210415204933695719 { }body { font-size: 10.5pt; font-family: 'Microsoft YaHei UI'; color: rgb(0, 0, 0); line-height: 1.5; }</style></head><body>
<div><span></span></div><blockquote style="margin-Top: 0px; margin-Bottom: 0px; margin-Left: 0.5em"><div><div class="FoxDiv20210415204933695719"><blockquote style="margin-Top: 0px; margin-Bottom: 0px; margin-Left: 0.5em"><div><div class="FoxDiv20210415204714592482"><blockquote style="margin-Top: 0px; margin-Bottom: 0px; margin-Left: 0.5em"><div><div class="FoxDiv20210415204557767459"><div><div><span style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;">(apologies for cross-posting)</span></div><div><span style="font-family: 'Microsoft YaHei UI', Tahoma; line-height: normal;"><br></span></div><div><div>========================================</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Institute of Software, Chinese Academy of Sciences, Beijing, China, November 25-27, 2021</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Submission deadline: July 23rd, 2021</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Conference website: https://lcs.ios.ac.cn/setta2021/ </span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Colocated with FM'2021</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">========================================</span></div><div><br></div><div>************************</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>ABOUT SETTA 2021</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">************************</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">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.</span></div><div><br></div><div>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.</div><div><br></div><div>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.</div><div><br></div><div>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.</div><div><br></div><div>This year, SETTA welcomes submissions to the following two tracks: <b>Journal First Papers</b> and <b>Research Papers</b>. </div><div><br></div><div>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.</div><div><br></div><div><b>Latest News: A special issue for the Elsevier Journal of Systems Architecture (JSA) has been confirmed. Authors of selected papers from SETTA2021 will be invited to submit an extended version of their SETTA2021 paper to this special issue.</b></div><div><br></div><div><br></div><div>************************</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>LIST OF TOPICS</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">************************</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Topics of interest include, but are not limited to:</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Requirements specification and analysis</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Formalisms for modeling, design and implementation</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Model checking, theorem proving, and decision procedures</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Scalable approaches to formal system analysis</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Formal approaches to simulation, run-time verification, and testing</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Integration of formal methods into software engineering practice</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Contract-based engineering of components, systems, and systems of systems</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Formal and engineering aspects of software evolution and maintenance</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Parallel and multicore programming</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Embedded, real-time, hybrid, probabilistic, and cyber-physical systems</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Mixed-critical applications and systems</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Formal aspects of service-oriented and cloud computing</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Safety, reliability, robustness, and fault-tolerance</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Dependability of smart software and systems</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Empirical analysis techniques and integration with formal methods</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Applications and industrial experience reports</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Software tools to assist the construction or analysis of software systems</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><br></span></div><div><br></div><div>************************</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>RESEARCH PAPERS TRACK</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">************************</span></div><div>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>. </div><div><br></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">------------------------</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>Important Dates</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">------------------------</span></div><div>Abstract & Paper Submission: July 23, 2021 (AoE)</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Notification to authors: September 3, 2021 (AoE)</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Camera-ready versions: September 20, 2021 (AoE)</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Conference date: November 25-27, 2021</span></div><div><br></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">------------------------</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>Submission Guidelines</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">------------------------</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">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.</span></div><div><br></div><div>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. </div><div><br></div><div><br></div><div>************************</div><div><b>JOURNAL FIRST PAPERS TRACK</b></div><div>************************</div><div>The journal first papers track of SETTA 2021 is implemented in partnership with the Journal of Computer Science and Technology (JCST). Accepted papers to this track will be presented and discussed at the conference SETTA 2021. Papers should be submitted electronically through the journal's submission web page <https://mc03.manuscriptcentral.com/jcst>. </div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><br></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">------------------------</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>Important Dates</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">------------------------</span></div><div>Paper Submission: May 31, 2021 (AoE)</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Tentative acceptance decision: July 16, 2021 (AoE)</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Acceptance decision: August 30, 2021 (AoE)</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">Conference date: November 25-27, 2020</span></div><div><br></div><div>------------------------</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>Submission Guidelines</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">------------------------</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">To submit to this track, authors have to make a journal submission to the Journal of Computer Science and Technology, and select the type of submission to be for the SETTA 2021 special issue. It is recommended that submitted papers follow the submission guidelines of JCST <https://www.springer.com/journal/11390/submission-guidelines> and do not exceed 15 pages including references. </span></div><div><br></div><div><br></div><div>************************</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>COMMITTEES</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">************************</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">General Chair:</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Chen Zhao, Institute of Software, Chinese Academy of Sciences</span></div><div><br></div><div>Program Chair:</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Shengchao Qin, Teesside University</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Jim Woodcock, University of York</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Wenhui Zhang, Institute of Software, Chinese Academy of Sciences</span></div><div><br></div><div>Local Organisation Chair:</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Zhilin Wu, Institute of Software, Chinese Academy of Sciences</span></div><div><br></div><div>Publicity Chair:</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">- Fu Song, ShanghaiTech University </span></div><div><br></div><div>Program Committee Members:</div><div><span style="background-color: transparent;">- Yamine Ait-Ameur (IRIT/INPT-ENSEEIHT)</span></div><div>- Richard Banach (The University of Manchester)</div><div>- Lei Bu (Nanjing University)</div><div>- Milan Ceska (Brno University of Technology)</div><div>- Sudipta Chattopadhyay (Singapore University of Technology and Design)</div><div>- Liqian Chen (National University of Defense Technology)</div><div>- Yu-Fang Chen (Academia Sinica)</div><div>- Alessandro Cimatti (Fondazione Bruno Kessler)</div><div>- Florin Craciun (Babes-Bolyai University)</div><div>- Yuxin Deng (East China Normal University)</div><div>- Wei Dong (National University of Defense Technology)</div><div>- Hongfei Fu (Shanghai Jiao Tong University)</div><div>- Jan Friso Groote (Eindhoven University of Technology)</div><div>- Nan Guan (The Hong Kong Polytechnic University)</div><div>- Dimitar Guelev (Bulgarian Academy of Sciences)</div><div>- Thai Son Hoang (University of Southampton)</div><div>- Chao Huang (University of Liverpool, Northwestern University)</div><div>- Yu Jiang (Tsinghua University)</div><div>- Sebastian Junges (University of California, Berkeley)</div><div>- Guoqiang Li (Shanghai Jiao Tong University)</div><div>- Yi Li (Nanyang Technological University)</div><div>- Zhiming Liu (Southwest University)</div><div>- Yang Liu (Nanyang Technological University)</div><div>- Tiziana Margaria (Lero)</div><div>- Dominique Mery (Universite de Lorraine, LORIA)</div><div>- Stefan Mitsch (Carnegie Mellon University)</div><div>- Jun Pang (University of Luxembourg)</div><div>- Dave Parker (University of Birmingham)</div><div>- Yu Pei (HK Polytechnic University)</div><div>- Shengchao Qin (Teesside University)</div><div>- Mickael Randour (F.R.S.-FNRS & Universite de Mons)</div><div>- Stefan Schupp (TU Wien)</div><div>- Zhiping Shi (Beijing Eng. Research Center of High Reliable Embbeded Systems)</div><div>- Fu Song (ShanghaiTech University)</div><div>- Jeremy Sproston (University of Turin)</div><div>- Ting Su (East China Normal University)</div><div>- Jun Sun (Singapore Management University)</div><div>- Meng Sun (Peking University)</div><div>- Andrea Turrini (Institute of Software, CAS)</div><div>- Tarmo Uustalu (Reykjavik University)</div><div>- Jaco van de Pol (Aarhus University)</div><div>- Jim Woodcock (University of York)</div><div>- Xiaofei Xie (Kyushu University)</div><div>- Zhiwu Xu (Shenzhen University)</div><div>- Bai Xue (Institute of Software, CAS)</div><div>- Chenyi Zhang (Jinan University)</div><div>- Wenhui Zhang (Institute of Software, CAS)</div><div><br></div><div><br></div><div>************************</div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>VENUE</b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">************************</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">The conference will be held in Beijing, China. </span></div><div><br></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">************************</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;"><b>CONTACT </b></span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">************************</span></div><div><span style="font-size: 10.5pt; line-height: 1.5; background-color: transparent;">All questions about submissions should be emailed to setta2021@easy*chair.org (remove *). </span></div></div></div>
<div><br></div><div><br></div><div><br></div>
</div></div></blockquote>
</div></div></blockquote>
</div></div></blockquote>
</body></html>