The 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (pending), will be held in London, UK.
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 scale up their application in
software industry and to encourage their integration with practical
engineering methods. Previous SEFM Conferences were held in
Brisbane, Australia (2003), Beijing, China (2004), Koblenz, Germany
(2005) and Pune, India (2006).
Authors are invited to submit both research and tool papers. The
scientific program will include invited talks, paper and tool
presentations, tool demonstrations, tutorials, and workshops.
The proceedings of the conference have been published by the IEEE Computer
Society Press and are accessible online through