The aim of the conference is to bring together practitioners and<br>researchers from academia, industry and government to advance the<br>state of the art in formal methods, to facilitate their uptake in the<br>software industry and to encourage their integration with practical<br>engineering methods. Papers that combine formal methods and software<br>engineering are especially welcome.<br>Authors are invited to submit original research or tool papers on<br>any relevant topic. These can either be normal or short papers. Short<br>papers can discuss new ideas which are at an early stage of development<br>and which have not yet been thoroughly evaluated.<br>SEFM 2013 invites prospective workshop organizers to submit their ideas<br>for workshops by 28th of January 2013 at the latest. Workshops should<br>be targeted to research work on the areas of Software Engineering<br>and/or Formal Methods.<br>TOPICS<br>Topics of interest include, but are not limited to:<br>* formal requirement analysis, specification and design<br>* programming languages, program analysis and type theory<br>* formal methods for service–oriented and cloud computing<br>* formal aspects of security and mobility<br>* model checking, theorem proving and decision procedures<br>* formal methods for real–time, hybrid and embedded systems<br>* formal methods for safety–critical, fault–tolerant and secure systems<br>* software architecture and coordination languages<br>* component, object and multi–agent systems<br>* formal aspects of software evolution and maintenance<br>* formal methods for testing, re–engineering and reuse<br>* light–weight and scalable formal methods<br>* tool integration<br>* applications of formal methods, industrial case studies and technology transfer<br>* education and formal methods<br>
Abbrevation
SEFM
City
Madrid
Country
Spain
Deadline Paper
Start Date
End Date
Abstract