SEFM 2014 - 12th International Conference on Software Engineering and Formal Methods

The 12th edition of the International Conference on Software Engineering and Formal Methods will be held in Grenoble, France on September 1-5, 2014.
The aim of the conference is to bring together practitioners and researchers 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 with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.
Important Dates
Abstract Submission: March 14, 2014
Paper Submission: March 21, 2014 (AoE)
Notification: May 19, 2014
Camera Ready: June 13, 2014
The topics of interest for this conference include, but are not limited to:
Formal requirement analysis, modeling, specification and design
Abstraction and refinement
Formal methods for probabilistic verification and synthesis
Programming languages, program analysis and type theory
Formal methods for self-adaptive systems, service-oriented and cloud computing
Formal aspects of security and mobility
Model checking, theorem proving and decision procedures
Formal methods for real-time, hybrid and embedded systems
Formal methods for safety-critical, fault-tolerant and secure systems
Software architecture and coordination languages
Software verification and validation
Component, object and multi-agent systems
Formal aspects of software evolution and maintenance
Formal methods for testing, re-engineering and reuse
Light-weight and scalable formal methods
Tool integration
Applications of formal methods, industrial case studies and technology transfer
Education and formal methods