SEFM 2012 - 10th International Conference on Software Engineering and Formal Methods

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.
Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers.
Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.
Conference Topics
Topics of interest include, but are not limited to:
formal methods technology transfer
scalable formal methods
requirement analysis and specification
software specification, verification and validation
component-based development
programming languages and type theory
formal models for service-oriented computing
web and grid computing
formal models for web services, choreography and orchestration
formal aspects of security and mobility
model checking for software and hardware systems
theorem proving and decision procedures
program analysis
real-time, hybrid and embedded systems
safety-critical and fault-tolerant systems
interactive systems and human error analysis
software architectures and their description languages
object and multi-agent systems, aspect oriented development
coordination and feature interaction
formal aspects of software evolution and maintenance
formal methods for testing, re-engineering and reuse
light-weight formal methods
CASE tools and tool integration
applications of formal methods and industrial case studies