[Please accept our apologies if you receive multiple copies of this Call for
Papers (CFP)]
Symposium on Dependable Software Engineering: Theories, Tools and Applications
Nov. 9-11, 2016, Beijing, China
IMPORTANT DATES (AoE)
* Abstract Submission: May 12, 2016
* Full Paper Submission: May 19, 2016
* Notification to Authors: Jul. 15, 2016
* Camera-ready Paper: Aug. 6, 2016
http://lcs.ios.ac.cn/setta/
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. 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.
------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
