The 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, will be held on 27-29 June 2018 collocated with STAF 2018 in Toulouse, France.

The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

The topics of interest for submission include, but are not limited to, the following aspects of software engineering and formal methods:

 

Topics    

• Software development methods
  
• Requirement analysis
  
• modeling
  
• specification and design
  
• light-weight and scalable formal methods
  
• software evolution maintenance
  
• re-engineering and reuse.
  
• Design principles
  
• programming languages
  
• Domain specific language
  
• Abstraction and refinement
  
• correctness-by-construction
  
• Software verification and testingmodel checking
  
• Theorem proving and decision procedures
  
• verification and validation
  
• probabilistic verification and synthesis
  
• Functional and non-functional system propertiessuch as safety-critical
  
• fault-tolerant and secure systems
  
• software certification
  
• performance analysis and management
  
• Resource-constrained computing
  
• Energy-aware computing.

Submission Deadline    : March 02, 2018 Authors Notification      : April 09, 2018 Final Manuscript Due     : April 23, 2018

 

User Name : ruffil
Posted 16-11-2017 on 15:44:46 AEDT

Related CFPs

NCS 2026   18th International Conference on Network and Communications Security (NCS 2026)
IJITCA   International Journal of Information Technology, Control and Automation
NeTCoM 2026   18th International Conference on Networks & Communications
NLPA 2026   7th International Conference on Natural Language Processing & Applications