[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods - Beijing, China (2004.09.30-2004.09.30)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Conference chairs