posted by organizer: jpbowen || 10032 views || tracked by 22 users: [display]

SETTA 2015 : 1st Symposium on Dependable Software Engineering: Theories, Tools and Applications

FacebookTwitterLinkedInGoogle

Link: http://cs.nju.edu.cn/setta/
 
When Nov 4, 2015 - Nov 6, 2015
Where Nanjing, China
Abstract Registration Due Jun 12, 2015
Submission Deadline Jun 19, 2015
Notification Due Aug 21, 2015
Final Version Due Sep 4, 2015
Categories    computer science   software engineering   dependable systems   formal methods
 

Call For Papers

SETTA 2015
Symposium on Dependable Software Engineering:
Theories, Tools and Applications

Nanjing University, Nanjing, China
November 4-6, 2015

IMPORTANT DATES

June 23,2015 Abstracts
June 30,2015 Submission of papers
August 21,2015 Notification to authors
September 4,2015 Camera-ready versions

KEYNOTE SPEAKERS
Sanjoy Baruah, University of North Carolina at Chapel Hill, USA
David Harel, Weizmann Institute of Science, Israel
Huimin Lin, Institute of Software, CAS, China

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 artefacts 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 http://www.springer.de/comp/lncs/authors.html 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

GENERAL CHAIR
Jian Lv, Nanjing University, China

PROGRAMME CO-CHAIRS
Xuandong Li, Nanjing University, China
Zhiming Liu, Birmingham City University, UK
Yi Wang, Uppsala University, Sweden

PUBLICITY CHAIRS
Jonathan Bowen, Birmingham City University, UK
Lijun Zhang, Institute of Software,Chinese Academy of Sciences, China

PUBLICATION CHAIR
Martin Fränzle, University of Oldenburg, Germany

LOCAL ORGANIZATION CHAIR
Xin Chen, Nanjing University, China

PROGRAM COMMITTEE
* Farhad Arbab, CWI and Leiden University,The Netherlands
* Luis Barbosa, Universidade do Minho,Portugal
* Jonathan Bowen, Birmingham City University,UK
* Nikolaj Bjorner, Microsoft Research,USA
* Michael Butler, University of Southampton,UK
* Van Hung Dang, Vietnam National University,Vientam
* Martin Fränzle, University of Oldenburg,Germany
* Goran Frehse, Universite Joseph Fourier Grenoble 1–Verimag, France
* Lindsay Groves, Victoria University of Wellington,New Zealand
* Tei-Wei Guo, National Taiwan University, TW, China
* Holger Hermanns, Saarland University,Germany
* Ian J. Hayes, University of Queensland,Australia
* Gerwin Klein, NICTA and UNSW,Australia
* Insup Lee, University of Pennsylvania,USA
* Xuandong Li, Nanjing University, China
* Shaoying Liu, Hosei University,Japan
* Zhiming Liu, Birmingham City University, UK
* Mingsong LU, North Eastern University, China
* Xiaoguang Mao, National University of Defense Technology,China
* Jun Pang, University of Luxembourg,Luxembourg
* Paritosh Pandya, Tata Institute of Fundamental Research Research,India
* Paul Pettersson, Mälardalen University, Sweden
* Zongyan Qiu, Peking University,China
* Shengchao Qin, Teesside University,UK
* Jean-Francois Raskin, Université Libre de Bruxelles,Belgium
* Stefan Ratschan, Czech Academy of Sciences,CZ
* Martin Steffen, University of Oslo,Norway
* Cesare Tinelli, The University of Iowa,USA
* Tarmo Uustalu, Tallinn University of Technology,Estonia
* Irina Virbitskaite, Ershov Institute of Informatics Systems,Russian
* Farn Wang, National Taiwan University, TW, China
* Qixin Wang, The Hong Kong Polytechnic University, HK, China
* Yi Wang, Uppsala University, Sweden
* Lijun Zhang, Institute of Software, Chinese Academy of Sciences,China
* Jianhua Zhao, Nanjing University,China
* Huibiao Zhu, East China Normal University,China

STEERING COMMITTEE
* Zhenhua Duan, Xi’dan University, China
* Martin Fränzle, University of Oldenburg, Germany
* Kim Larsen, Aalborg University, Denmark
* Xuandong Li, Nanjing University China
* Zhiming Liu, Birmingham City University,UK
* Sriram Rajamani, Microsoft Research India
* Ji Wang, National University of Defense Science and Technology, China
* Kwangkeun Yi, Seoul National University, Korea
* Naijun Zhan (Chair), Software Institute, Chinese Academy of Sciences, China

Related Resources

JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ACM ICBTA 2024   ACM--2024 7th International Conference on Blockchain Technology and Applications (ICBTA 2024)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ICMLA 2024   23rd International Conference on Machine Learning and Applications
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
LAK 2024   14th International Conference on Learning Analytics and Knowledge
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
DSN 2024   The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)