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 Pune, India.
The aim of the conference is to bring together
and researchers from academia, industry and government to advance the state-of-the-art in formal methods, to scale up their application in
industry and to encourage their integration with practical engineering
methods. SEFM 2005 was held in Koblenz, Germany and SEFM 2007 is scheduled
to be held in London.
Authors are invited to submit both research and tool
The scientific program will include invited talks, paper and tool
presentations, tool demonstrations, tutorials, and workshops.
The proceedings of the conference will be
published by the IEEE
Computer Society Press.