SEFM 2006
	4th IEEE International Conference on
	Software Engineering and Formal Methods
	Pune, India
	September 11-15, 2006

INVITED SPEAKERS Sriram Rajamani, Microsoft Research India, India John Rusby, SRI International, USA Joseph Sifakis, CNRS and VERIMAG, France Bertrand Meyer, ETH Zurich, Switzerland