posted by user: jpbowen || 6557 views || tracked by 21 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://cs.nju.edu.cn/setta/
 
When Aug 14, 2014 - Aug 17, 2014
Where Nanjing, China
Abstract Registration Due Feb 22, 2014
Submission Deadline Mar 1, 2014
Notification Due Apr 25, 2014
Final Version Due May 23, 2014
Categories    dependable systems   software engineering   formal methods   cyber-physical systems
 

Call For Papers

SETTA 2014

Symposium on Dependable Software Engineering:
Theories, Tools and Applications

Nanjing University
August 14, 2014 to August 17, 2014


IMPORTANT DATES

February 22, 2014 Abstracts (extended)
March 1, 2014 Submission of papers (extended)
April 25, 2014 Notification to authors
May 23, 2014 Camera-ready versions

KEYNOTE SPEAKERS
David Harel , Weizmann Institute of Science, Israel
Huimin Lin, Institute of Software, CAS, China

TUTORIAL SPEAKERS
Bernd Finkbeiner, Saarland University, Germany
Yifeng Chen, Peking University, China

BACKGROUND AND OBJECTIVES

The aim of the symposium is to bring together international
researchers and practitioners in the field of formal software
engineering methods. Its focus is on clarifying the relation between
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 formal 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 formal methods, 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. It is planned to publish the proceedings in the Springer
LNCS series.

Submissions can take the form of either normal or short papers. Short papers can discuss ongoing research at an early stage, including PhD projects. 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 Aspect Computing journal.




TOPICS

Topics of interest include, but are not limited to:

* Formal aspects of engineering approaches to software and system quality

* Integration of formal methods into software engineering practice

* Requirements analysis, specification and design

* Formal methods for embedded, real-time, hybrid, and cyber-physical systems

* Formal methods for service-oriented and cloud computing

* Formal aspects of security and mobility

* Formal aspects of safety, reliability, robustness, and fault-tolerance

* Model checking, theorem proving, and decision procedures

* Integration of empirical analysis techniques with formal methods

* Contract-based engineering of components, systems, and systems of systems

* Formal and engineering aspects of software evolution and maintenance

* Scalable approaches to formal system analysis and design

* Tool integration

* Applications of formal methods and industrial experience reports


GENERAL CHAIR
Cliff Jones, University of Newcastle, UK


PROGRAMME CO-CHAIRS
Martin Fränzle, University of Oldenburg, Germany
Xuandong Li, Nanjing University, China


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


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, Carl von Ossietzky Universität Oldenburg,Germany
* Goran Frehse, Universite Joseph Fourier Grenoble 1 – Verimag, France
* Lindsay Groves, Victoria University of Wellington,New Zealand
* Holger Hermanns, Saarland University,Germany
* Ian J. Hayes, University of Queensland,Australia
* Gerwin Klein, NICTA and UNSW,Australia
* Insup Lee, University of Pennsylvania,USA
* Shaoying Liu, Hosei University,Japan
* Xuandong Li, Nanjing University,China
* Xiaoguang Mao, National University of Defense Technology,China
* Ursula Martin, Queen Mary University of London,UK
* Joel Ouaknine, Oxford University,UK
* 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
* Andrzej Wasowski, IT University of Copenhagen,Denmark
* Jian Zhang, Institute of Software, Chinese Academy of Sciences,China
* 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
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
DSN 2024   The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
SOEN 2024   9th International Conference on Software Engineering