15th International Conference on Software Engineering and Formal Methods
Views: 714
When : 2017-09-06
Where : Trento, Italy
Submission Deadline : 2017-03-20
Categories : Software Engineering & Security , Cloud Computing
15th International Conference on Software Engineering and Formal Methods(SEFM 2017)
September 6-10, 2017, Trento, Italy
Call for Papers
The 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, will be held in Trento, Italy, September 6-10, 2017. 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.
Topics of Interest
- New frontiers in software architecture: self-adaptive, service-oriented and cloud computing systems; component, object and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable systems.
- Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing, re-engineering and reuse.
- Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance and reuse.
- Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.
- Security and safety: security and mobility; safety-critical, fault-tolerant and secure systems; software certification.
- Design principles: programming languages; domain specific languages; type theory; abstraction and refinement.
Important Dates
- Abstract submission: 13 March 2017
- Paper submission: 20 March 2017
- Notification: 15 May 2017
User Name : Simon
Posted 25-01-2017 on 09:55:18 AEDT