SETTA 2021

Symposium on Dependable Software Engineering

Theories, Tools and Applications

Beijing, China, Nov. 25-27, 2021


The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2021 will be held in Beijing on November 25-27, 2021, co-located with FM'2021.

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.

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.

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.

This year, SETTA welcomes submissions to the following two tracks: Journal First Papers and Research Papers.

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.


Topics of interest include, but are not limited to:

  • Requirements specification and analysis
  • Formalisms for modeling, design and implementation
  • Model checking, theorem proving, and decision procedures
  • Scalable approaches to formal system analysis
  • Formal approaches to simulation, run-time verification, and testing
  • Integration of formal methods into software engineering practice
  • Contract-based engineering of components, systems, and systems of systems
  • Formal and engineering aspects of software evolution and maintenance
  • Parallel and multicore programming
  • Embedded, real-time, hybrid, probabilistic, and cyber-physical systems
  • Mixed-critical applications and systems
  • Formal aspects of service-oriented and cloud computing
  • Safety, reliability, robustness, and fault-tolerance
  • Dependability of smart software and systems
  • Empirical analysis techniques and integration with formal methods
  • Applications and industrial experience reports
  • Software tools to assist the construction or analysis of software systems


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.

A selection of papers will be invited to a special issue of the Elsevier Journal of Systems Architecture (JSA).

A selection of papers will also be invited to a special issue of the Springer International Journal on Software Tools for Technology Transfer (STTT).

Important dates

Abstract and paper submission:
July 23, 2021 (AoE) July 30, 2021 (AoE)
Notification to authors:
September 3, 2021 (AoE)
Camera-ready version:
September 20, 2021 (AoE)

Submission Guidelines

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.

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.

See the LNCS authors' instructions for details on the LNCS format.


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.

Important dates

Paper submission:
May 31, 2021 (AoE)
Tentative acceptance decision:
July 16, 2021 (AoE)
Acceptance decision:
August 30, 2021 (AoE)

Submission Guidelines

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 JCST's submission guidelines and do not exceed 15 pages including references.


All questions about submissions should be emailed to setta2021@easy* (remove *).

General Chair
Chen Zhao, Institute of Software, Chinese Academy of Sciences
Program Co-chairs
Shengchao Qin, Teesside University
Jim Woodcock, University of York
Wenhui Zhang, Institute of Software, Chinese Academy of Sciences
Publicity Chair
Fu Song, ShanghaiTech University
Local Organization Committee
Andrea Turrini, Institute of Software, Chinese Academy of Sciences
Shuling Wang, Institute of Software, Chinese Academy of Sciences
Zhilin Wu (Chair), Institute of Software, Chinese Academy of Sciences
Bohua Zhan, Institute of Software, Chinese Academy of Sciences
Yamine Ait-Ameur
Richard Banach
The University of Manchester
Lei Bu
Nanjing University
Milan Ceska
Brno University of Technology
Sudipta Chattopadhyay
Singapore University of Technology and Design
Liqian Chen
National University of Defense Technology
Yu-Fang Chen
Academia Sinica
Alessandro Cimatti
Fondazione Bruno Kessler
Florin Craciun
Babes-Bolyai University
Yuxin Deng
East China Normal University
Wei Dong
National University of Defense Technology
Hongfei Fu
Shanghai Jiao Tong University
Jan Friso Groote
Eindhoven University of Technology
Nan Guan
The Hong Kong Polytechnic University
Dimitar Guelev
Bulgarian Academy of Sciences
Thai Son Hoang
University of Southampton
Chao Huang
University of Liverpool, Northwestern University
Yu Jiang
Tsinghua University
Sebastian Junges
University of California, Berkeley
Guoqiang Li
Shanghai Jiao Tong University
Yi Li
Nanyang Technological University
Zhiming Liu
Southwest University
Yang Liu
Nanyang Technological University
Tiziana Margaria
Dominique Mery
Université de Lorraine, LORIA
Stefan Mitsch
Carnegie Mellon University
Jun Pang
University of Luxembourg
Dave Parker
University of Birmingham
Yu Pei
HK Polytechnic University
Shengchao Qin (co-chair)
Teesside University
Mickael Randour
F.R.S.-FNRS & Université de Mons
Stefan Schupp
TU Wien
Zhiping Shi
Beijing Eng. Research Center of High Reliable Embedded Systems
Fu Song
ShanghaiTech University
Jeremy Sproston
University of Turin
Ting Su
East China Normal University
Jun Sun
Singapore Management University
Meng Sun
Peking University
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
Tarmo Uustalu
Reykjavik University
Jaco van de Pol
Aarhus University
Jim Woodcock (co-chair)
University of York
Xiaofei Xie
Kyushu University
Zhiwu Xu
Shenzhen University
Bai Xue
Institute of Software, Chinese Academy of Sciences
Chenyi Zhang
Jinan University
Wenhui Zhang (co-chair)
Institute of Software, Chinese Academy of Sciences
Zhou Chaochen (Coordinator)
Institute of Software, Chinese Academy of Sciences
He Jifeng
East China Normal University
Cliff Jones
Newcastle University
Deepak Kapur
University of New Mexico
Li Wei
Beihang University
Zhenhua Duan
Xi'dian University
Martin Fränzle
University of Oldenburg
Kim Larsen
Aalborg University
Xuandong Li
Nanjing University
Zhiming Liu
Southwest University
Sriram Rajamani
Microsoft Research
Ji Wang
Kwangkeun Yi
Microsoft Research
Naijun Zhan (Chair)
Institute of Software, Chinese Academy of Sciences