Zoom will be used for online conference.
MEETING ROOM ID: 9021962020
PASSWORD: will be sent to the participants
>>> SETTA 2020 - bilibili

Free access to the online version of the SETTA 2020 proceedings, LNCS 12153. (from Nov. 17 to Dec. 15, 2020)
Download >>> Invitation-(CH version).pdf

The 2nd International Workshop on Artificial Intelligence and Formal Methods (AI & FM 2020) will be jointly held on November 27 & 28 (Offline). Please refer to the WORKSHOP PAGE for details.

Zoom will be used in online conference, details will be released soon.

If you need any help in Registration & Participation, please feel free to contact our Organisation Chair (

--- Notice Date: September 5, 2020 ---

The submission deadline of Special Issue of Formal Aspects of Computing (FAOC) is extended to September 12, 2020. Please select "S.I.: Formal Methods and AI" as the article type. Further requirements:

  • request editor -- select "Guest Editors of S.I.: Formal Methods of Computing, Guest Editor";
  • questionnaire -- fill in "Jim Woodcock".

To make a submission, please first contact Zhiming Liu as the Editor by and then you will receive an invitation from him. It requires you to include the email inviation from Zhiming Liu in your submission.

--- Notice Date: July 1, 2020 ---

The submission deadline of research papers is extended to July 11, 2020.

--- Notice Date: April 26, 2020 ---

Call for Contributions: Formal Aspects of Computing (FAOC) for “SETTA 2020 Special Track on Formal Methods for AI”. Please refer to the CFP document for details. (Submission Deadline: August 15, 2020)

--- Notice Date: March 20, 2020 ---

The submission deadline of journal first papers is extended to April 10, 2020. Please refer to the CFP page for details.

--- Notice Date: March 2, 2020 ---

The SETTA steering committee have agreed together with the conference chairs to relocate the conference. SETTA 2020 will take place in Guangzhou, China, November 24-28. (Online & Offline Collaboration)

We are very grateful to our colleagues in Beijing, for the organization so far, to the colleagues from Guangzhou, who generously accepted this challenging task, and to all members who offered their help in this difficult situation.

The submission deadline of research papers is extended to July 4, 2020. Please refer to the CFP page for details.

Call for papers 

Important Dates

Conference date: November 24-28, 2020

Paper Submission:

August 15  September 12, 2020 (AoE, Special Issue of FAOC)

September 5, 2020 (Notification, Research Papers)

March 27  April 10, 2020 (AoE, Journal First Papers)

July 4   July 11, 2020 (AoE, Research Papers)

Previous Editions   SETTA2019  SETTA2018  AI & FM 2019


Assisted by


The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Guangzhou China on November 24-28, 2020. SETTA 2020 will be sponsored by Institute of Software Chinese Academy of Sciences and organised by Institute of Intelligent Software, Guangzhou.

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 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 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.


General Chair:

  • Huimin Lin, Chinese Academy of Sciences

Program Chair:

  • Jun Pang, University of Luxembourg
  • Lijun Zhang, Chinese Academy of Sciences

Organisation Chair and Web Chair:

  • Cheng-Chao Huang, Chinese Academy of Sciences
  • Meng Sun, Peking University

Publicity Chair:

  • Fu Song, ShanghaiTech University

Sponsor Chair:

  • Shenggen Zheng, Peng Cheng Laboratory

Program Committee Members:

  • Ezio Bartocci, Vienna University of Technology
  • Lei Bu, Nanjing University
  • Milan Ceska, Brno University of Technology
  • Sudipta Chattopadhyay, Singapore University of Technology and Design
  • Yu-Fang Chen, Academia Sinica
  • Alessandro Cimatti, FBK-ICT Irst
  • 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, Hong Kong Polytechnic University
  • Dimitar P. Guelev, Bulgarian Academy of Sciences
  • Xiaowei Huang, University of Liverpool
  • Nils Jansen, Radboud University
  • Yu Jiang, Tsinghua University
  • Sebastian Junges, UC Berkeley
  • Zhiming Liu, Southwest University
  • Stefan Mitsch, Carnegie Mellon University
  • Sebastian Moedersheim, Technical University of Denmark
  • Jean Francois Monin, Université Grenoble Alpes
  • Mohammad Mousavi, University of Leicester
  • Dave Parker, University of Birmingham
  • Jaco van de Pol, Aarhus University
  • Mickael Randour, FNRS & Université de Mons
  • Fu Song, ShanghaiTech University
  • Jeremy Sproston, University of Turin
  • Jun Sun, Singapore Management University
  • Meng Sun, Peking University
  • Cong Tian, Xidian University
  • Andrea Turrini, Chinese Academy of Sciences
  • Tarmo Uustalu, Reykjavik University
  • Chenyi Zhang, Jinan University
  • Zhiping Shi, Capital Normal University

The conference will be held in Guangzhou, China. (Online & Offline Collaboration)


All questions about submissions should be emailed to