[FM-India] SETTA 2016

Deepak D'Souza deepakd at csa.iisc.ernet.in
Mon May 16 14:24:26 IST 2016

SETTA 2016

Symposium on Dependable Software Engineering: Theories, Tools and
Nov. 9-11, 2016, Beijing, China


Edward A. Lee, University of California at Berkeley, USA
Sriram Sankaranarayanan, University of Colorado Boulder, USA
Mingsheng Ying, University of Technology Sydney & Tsinghua University


Huimin Lin, Institute of Software, CAS, China


Martin Fränzle, University of Oldenburg, Germany
Deepak Kapur, University of New Mexico, USA
Naijun Zhan, Institute of Software, CAS, China


Nils Müllner, Mälardalen University
Lijun Zhang, Institute of Software, CAS, China


Erika Abraham, RWTH Aachen University, Germany
Farhad Arbab, CWI and Leiden University, the Netherlands
Sanjoy Baruah, University of North Carolina, USA
Michael Butler, University of Southampton, UK
Deepak D'Souza, Indian Institute of Science, India
Yuxin Deng, East China Normal University, China
Xinyu Feng, University of Science and Technology of China, China
Martin Fränzle, University of Oldenburg, Germany (Chair)
Goran Frehse, VERIMAG, France
Lindsay Groves, Victoria University of Wellington, New Zealand
Dimitar Guelev, Bulgarian Academy of Sciences, Bulgaria
Fei He, Tsinghua University, China
Holger Hermanns, Saarland University, Germany
Deepak Kapur, University of New Mexico, USA (Chair)
Axel Legay, IRISA/INRIA, Rennes, France
Xuandong Li, Nanjing University, China
Shaoying Liu, Hosei University, Japan
Zhiming Liu, Southwest University, China
Xiaoguang Mao, National University of Defense Technology, China
Markus Müller-Olm, Westfälische Wilhelms-Universität Münster, Germany
Raja Natarajan, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Shengchao Qin, Teesside University, UK
Sriram Rajamani, Microsoft Research India
Jean-Francois Raskin, Université Libre de Bruxelles, Belgium
Stefan Ratschan, Czech Academy of Sciences, Czech Republic
Martin Steffen, University of Oslo, Norway
Zhendong Su, UC Davis, USA
Cong Tian, Xidian University, China
Tarmo Uustalu, Tallinn University of Technology, Estonia
Chao Wang, Virginia Tech, USA
Farn Wang, National Taiwan University, China
Heike Wehrheim, University of Paderborn, Germany
Wang Yi, Uppsala University, Sweden
Naijun Zhan, Institute of Software, CAS, China (Chair)
Lijun Zhang, Chinese Academy of Sciences, China


Andrea Turrini, Institute of Software, CAS, China
Shuling Wang, Institute of Software, CAS, China
Peng Wu, Institute of Software, CAS, China
Zhilin Wu, Institute of Software, CAS, China


The aim of the symposium is to bring together international
researchers and practitioners in the field of software technology. Its
focus is on formal methods and advanced software technologies,
especially for engineering complex, large-scale artifacts like
cyber-physical systems, networks of things, enterprise systems, or
cloud-based services. Contributions relating to formal methods or
integrating them with software engineering, as well as papers
advancing scalability or widening the scope of rigorous methods to new
design goals are especially welcome.

Being hosted in China, the symposium will also provide a platform for
building up research collaborations between the rapidly growing
Chinese computer science community and its international
counterpart. The symposium will support this process through dedicated
events and therefore welcomes both young researchers considering
international collaboration in formal methods and established
researchers looking for international cooperation and willing to
attract new colleagues to the domain.

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 either by
substantiating the advantages of integrating formal methods into the
development cycle or through delineating need for research by
demonstrating weaknesses of existing technologies, especially when
addressing new application domains.

Submissions can take the form of either normal or short papers. Short
papers can discuss ongoing research at an early stage, including PhD
projects. Papers should be written in English. Regular Papers should
not exceed 15 pages and Short Papers should not exceed 6 pages in LNCS
format. The proceedings will be published as a volume in Springer's
LNCS series. The authors of a selected subset of accepted papers will
be invited to submit extended versions of their papers to appear in a
special issue of the Formal Aspects of Computing journal.


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 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, and cyber-physical systems
Mixed-critical applications and systems
Formal aspects of service-oriented and cloud computing
Safety, reliability, robustness, and fault-tolerance
Empirical analysis techniques and integration with formal methods
Applications and industrial experience reports
Tool integration


Abstract Submission: June 12, 2016
Full Paper Submission: June 19, 2016 (AOE time, UTC-12)
Notification to Authors: Aug. 1, 2016
Camera-ready Paper: Aug. 15, 2016

This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

More information about the FMIndia mailing list