CALL FOR PAPERS
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

IMPORTANT DATES
Abstracts
May 12, 2016 Extended deadline: June 19, 2016
Submission of papers
May 19, 2016 Extended deadline: June 19, 2016 (AOE time, UTC-12)
Notification to authors
July 15, 2016 August 1, 2016
Camera-ready versions
August 6, 2016 August 25, 2016
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