[TYPES/announce] [CFP] SETTA 2019 Symposium on Dependable Software Engineering Theories, Tools and Applications

[Tom van Dijk]

*************************************
*SETTA 2019: Symposium on Dependable Software Engineering Theories, Tools
and Applications*
*Shanghai Jiaotong University, Shanghai, China, November 27-29, 2019*
*Submission deadline: June 21, 2019*
*Conference website: http://www4.comp.polyu.edu.hk/~csguannan/setta19
<http://www4.comp.polyu.edu.hk/~csguannan/setta19>*
*************************************

*ABOUT SETTA 2019*
The Symposium on Dependable Software Engineering: Theories, Tools and
Applications (SETTA) 2019 will be held in Shanghai, China on Nov. 27-29,
2019.

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.

*IMPORTANT DATES*
Abstract & Paper Submission: Jun. 21, 2019 (AoE)
Notification to authors: Aug. 31, 2019 (AoE)
Camera-ready versions: Sep. 15, 2019 (AoE)
Conference date: Nov. 27-29, 2019

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

The proceedings will be published as a volume in Springer's LNCS series.
Papers should be submitted electronically through the EasyChair submission
web page < https://easychair.org/conferences/?conf=setta2019 >.

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 must be presented at the conference.

*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

*COMMITTEES*

Organizing Committee

General Chair:
- Yuxi Fu, Shanghai Jiaotong University
Program Chair:
- Jun Sun, Singapore University of Technology and Design
- Joost-Pieter Katoen, RWTH Aachen University and University of Twente
- Nan Guan, The Hong Kong Polytechnic University
Publicity Chair:
- Yu Pei, The Hong Kong Polytechnic University
- Tom van Dijk, University of Twente

Program Committee

- Étienne André, Université Paris 13
- Mohamed Faouzi Atig, Uppsala University
- Ezio Bartocci, Vienna University of Technology
- Sanjoy Baruah, Washington University in St. Louis
- Yan Cai, Chinese Academy of Sciences
- Milan Ceska, Brno University of Technology
- Sudipta Chattopadhyay, Singapore University of Technology and Design
- Mingsong Chen, East China Normal University
- Taolue Chen, Birkbeck, University of London
- Yu-Fang Chen, Academia Sinica
- Alessandro Cimatti, FBK-irst
- Tingting Han, Birkbeck, University of London
- Arnd Hartmanns, University of Twente
- Nils Jansen, Radboud University
- Ran Ji, Carnegie Mellon University
- Yu Jiang, Tsinghua University
- Lei Ju, Shandong University
- Guoqiang Li, Shanghai Jiao Tong University
- Di Liu, Yunnan University
- Shuang Liu, Singapore Institute of Technology
- Federico Olmedo, University of Chile
- Yu Pei, The Hong Kong Polytechnic University
- Jaco van de Pol, Aarhus University
- Mickael Randour, FNRS & Université de Mons
- Anne Remke, WWU Münster
- Philipp Ruemmer, Uppsala University
- Fu Song, ShanghaiTech University
- Jeremy Sproston, University of Turin
- Cong Tian, Xidian University
- Tarmo Uustalu, Reykjavik University
- Bow-Yaw Wang, Academia Sinica
- Ji Wang, National University of Defense Technology
- Xue-Yang Zhu, Chinese Academy of Sciences

*PUBLICATION*

The SETTA 2019 proceedings will be published as a volume in Springer's LNCS
series.

*VENUE*

The conference will be held in Shanghai, China.

*CONTACT *

All questions about submissions should be emailed to setta2019 at easy*
chair.org (remove *).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190322/084fc041/attachment-0001.html>