The Coq mailing list

[Lijun Zhang <zhanglj AT ios.ac.cn>]

LAST CALL FOR PAPERS

SETTA 2016

Symposium on Dependable Software Engineering Theories, Tools and Applications

Beijing, China, Nov. 9-11, 2016

http://lcs.ios.ac.cn/setta/index.shtml

IMPORTANT DATES --- extended

Abstracts: June 12, 2016

Submission of papers: June 19, 2016 (AOE time, UTC-12)

Notification to authors: August 1, 2016

Camera-ready versions: August 15, 2016

BACKGROUND AND OBJECTIVES

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 (see LNCS authors' instructions for details). 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 Aspect Computing journal.

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

ORGANIZATION COMMITTEE

General Chair

Huimin Lin, Institute of Software, Chinese Academy of Sciences, China

Program Co-chairs 

Martin Fränzle, University of Oldenburg, Germany

Deepak Kapur, University of New Mexico, USA

Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China

Publicity Chairs 

Nils Müllner, Mälardalen University, Sweden

Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China

Local Organization Chair 

Andrea Turrini, Institute of Software, Chinese Academy of Sciences, China

Shuling Wang, Institute of Software, Chinese Academy of Sciences, China

Peng Wu, Institute of Software, Chinese Academy of Sciences, China

Zhilin Wu, Institute of Software, Chinese Academy of Sciences, China

PROGRAM COMMITTEE

Erika Ábrahám 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 Université Joseph Fourier Grenoble 1-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 NUDT, 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-François 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 Xi'dian University, China

Tarmo Uustalu Tallinn University of Technology, Estonia

Chao Wang Virginia Tech, USA

Farn Wang National Taiwan University, TW, China

Heike Wehrheim University of Paderborn, Germany

Wang Yi Uppsala University, Sweden

Naijun Zhan Institute of Software, Chinese Academy of Sciences, China (Chair)

Lijun Zhang Institute of Software, Chinese Academy of Sciences, China

ADVISORY BOARD

Zhou Chaochen (Coordinator) Institute of Software, Chinese Academy of Sciences, China

He Jifeng East China Normal University, China

Cliff Jones Newcastle University, UK

Deepak Kapur University of New Mexico, USA

Li Wei Beihang University, China

STEERING COMMITTEE

Zhenhua Duan Xi'dian University, China

Martin Fränzle University of Oldenburg, Germany

Kim Larsen Aalborg University, Denmark

Xuandong Li Nanjing University, China

Zhiming Liu Southwest University, China

Sriram Rajamani Microsoft Research, India

Ji Wang NUDT, China

Kwangkeun Yi Microsoft Research, India

Naijun Zhan (Chair) Institute of Software, Chinese Academy of Sciences, China