[FM-India] SETTA 2021 Beijing: final Call for Papers --extended deadline

Madhavan Mukund madhavan at cmi.ac.in
Fri Jul 23 15:31:55 IST 2021


----- Forwarded message from Jun PANG <pangjun at gmail.com> -----

Date: Fri, 23 Jul 2021 09:04:13 +0200
From: Jun PANG <pangjun at gmail.com>
To: Jun PANG <pangjun at gmail.com>
Subject: SETTA 2021 Beijing: final Call for Papers --extended deadline

(apologies for cross-posting)

========================================
SETTA 2021: Symposium on Dependable Software Engineering: Theories,
Tools and Applications
Institute of Software, Chinese Academy of Sciences, Beijing, China,
November 25-27, 2021
Submission deadline: July 30, 2021
Conference website: https://lcs.ios.ac.cn/setta2021/
Colocated with FM'2021
========================================

************************
ABOUT SETTA 2021
************************
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.

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.

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.

Latest News: Special issues for the Elsevier Journal of Systems
Architecture (JSA) and the International Journal on Software Tools for
Technology Transfer (STTT) 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.

************************
LIST OF TOPICS
************************
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

************************
CONFIRMED KEYNOTE SPEAKERS
************************
- Prof. Joost-Pieter Katoen
RWTH Aachen University
- Prof. Fritz Vaandrager Radboud University
- Prof. Charles Zhang Hong Kong University of Science and Technology

************************
RESEARCH PAPERS TRACK
************************
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>.
------------------------
Important Dates
------------------------
Abstract & Paper Submission: July 30, 2021 (AoE)
Notification to authors: September 3, 2021 (AoE)
Camera-ready versions: September 20, 2021 (AoE)
Conference date: November 25-27, 2021
------------------------
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.

************************
COMMITTEES
************************
General Chair:
- Chen Zhao, Institute of Software, Chinese Academy of Sciences

Program Chair:
- Shengchao Qin, Teesside University
- Jim Woodcock, University of York
- Wenhui Zhang, Institute of Software, Chinese Academy of Sciences

Local Organisation Chair:
- Zhilin Wu, Institute of Software, Chinese Academy of Sciences

Publicity Chair:
- Fu Song, ShanghaiTech University

Program Committee Members:
- Yamine Ait-Ameur (IRIT/INPT-ENSEEIHT)
- 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 (Lero)
- Dominique Mery (Universite 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 (Teesside University)
- Mickael Randour (F.R.S.-FNRS & Universite de Mons)
- Stefan Schupp (TU Wien)
- Zhiping Shi (Beijing Eng. Research Center of High Reliable Embbeded 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, CAS)
- Tarmo Uustalu (Reykjavik University)
- Jaco van de Pol (Aarhus University)
- Jim Woodcock (University of York)
- Xiaofei Xie (Kyushu University)
- Zhiwu Xu (Shenzhen University)
- Bai Xue (Institute of Software, CAS)
- Chenyi Zhang (Jinan University)
- Wenhui Zhang (Institute of Software, CAS)

************************
VENUE
************************
The conference will be held in Beijing, China.

************************
CONTACT
************************
All questions about submissions should be emailed to
setta2021 at easy*chair.org (remove *).

----- End forwarded message -----


More information about the FMIndia mailing list