Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2016)

November 9-11, 2016

China

Call For Papers

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. 

Topics

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

Paper submission: May 19, 2016

                       

Notification of acceptance: July 15, 2016

           

Final manuscripts due: Aug 6, 2016

                     

User Name : MANI
Posted on

Related CFPs

NCS 2026   18th International Conference on Network and Communications Security
IJSPTM   International Journal of Security, Privacy and Trust Management
SOFEA 2026   12th International Conference on Software Engineering and Applications (SOFEA 2026)
NCOM 2026   12th International Conference on Networks & Communications