SETTA 2022

The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2022 will be held in Beijing on October 27-29, 2022, and co-located with ATVA 2022.

Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community has 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 and improvement of software systems is, in practice, 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. SETTA will show research interests and results from different groups so as to initiate interest-driven research collaboration. It 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 particularly encourages  the participation of young researchers and students.

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.

Topics

Topics of interest to SETTA 2022 include, but are not limited to:

• Requirement 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

Committees

Organizing committee

• General Chair Huimin Lin, Institute of Software, Chinese Academy of Sciences
• Program Co-chairs Wei Dong, National University of Defense Technology and Jean-Pierre Talpin, Inria & Irisa
• Publicity Chair Bohua Zhan, Institute of Software, Chinese Academy of Sciences
• Local Organization Committee  Andrea Turrini, Shuling Wang (Chair), Zhilin Wu, Bohua Zhan, Institute of Software, Chinese Academy of Sciences

Program Committee

• Yamine Ait Ameur, IRIT/INPT-ENSEEIHT
• Richard Banach, The University of Manchester
• Lei Bu, Nanjing University
• Milan Ceska, Faculty of Information Technology, Brno University of Technology
• Sudipta Chattopadhyay, Singapore University of Technology and Design
• Yu-Fang Chen, Academia Sinica
• Liqian Chen, National University of Defense Technology
• Alessandro Cimatti, Fondazione Bruno Kessler
• Florin Craciun, Department of Computer Science, Faculty of Mathematics and Computer Science, Babes-Bolyai University, Cluj
• 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
• Dimitar Guelev, Bulgarian Academy of Sciences
• Thai Son Hoang, University of Southampton
• Chao Huang, University of Liverpool
• Yu Jiang, Tsinghua University
• Sebastian Junges, Radboud University
• Yi Li, Nanyang Technological University
• Guoqiang Li, Shanghai Jiao Tong University
• Zhiming Liu, Southwest University
• Tiziana Margaria, Lero
• Dominique Mery, Université de Lorraine, LORIA
• Stefan Mitsch, Carnegie Mellon University
• Jun Pang, University of Luxembourg
• Dave Parker, University of Birmingham
• Yu Pei, The Hong Kong Polytechnic University
• Shengchao Qin, Teesside University
• Mickael Randour, F.R.S.-FNRS & UMONS - Université de Mons
• Stefan Schupp, TU Wien
• Zhiping Shi, Beijing Engineering Research Center of High Reliable Embeded System
• Fu Song, School of Information Science and Technology, ShanghaiTech University
• Jeremy Sproston, University of Turin
• Ting Su, East China Normal University
• Meng Sun, Peking University
• Jean-Pierre Talpin, INRIA
• Andrea Turrini, Institute of Software, Chinese Academy of Sciences
• Tarmo Uustalu, Reykjavik University
• Jim Woodcock, University of York
• Xiaofei Xie, Nanyang Technological University
• Zhiwu Xu, Shenzhen University
• Chenyi Zhang, Jinan University

Publication

Research papers will be published in the SETTA 2022 proceedings as a volume in Springer's LNCS series. Papers should be submitted electronically through the EasyChair submission website: https://easychair.org/conferences/?conf=setta2022. A selection of papers will be invited to special issues of the Elsevier Journal of Systems Architecture (JSA) and IEEE Transactions on Reliability (TR).

IMPORTANT DATES

Abstract and paper submission:   July 23 and 30, August 6 and 13, 2022 (AoE)

Notification to authors:                  September 3, September 12, 2022 (AoE)

Camera-ready version due:           September 20, September 27, 2022 (AoE)

SUBMISSION GUIDELINES

All submissions must be in PDF format and should be written in English. 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 an ongoing research at an early design stage, including PhD projects. Short papers should not exceed 6 pages (excluding references) in LNCS format.  All submitted papers should be unpublished and not submitted for publication elsewhere. All accepted papers will have to be presented at the conference by one of their authors. Extended version of selected papers will be recommended to special issues of Journal of System Architecture (JSA) and of IEEE Transactions on Reliability (TR) after the proceeding of the conference.

Springer’s author instructions for LNCS series’ articles can be found on overleaf: https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg. Finally, the attention of contributing authors in drawn on the code of conduct of the publisher: https://www.springernature.com/gp/authors/book-authors-code-of-conduct

Contact

All questions about submissions should be sent to setta2022 at easychair.

Sponsors

Springer will offer a sponsorship of 1000€ for the Best Paper of SETTA 2022, which will be nominated by the program committee and awarded at the venue of the conference.