Wednesday 8 September 2010

SEFM 2011, Montevideo, Uruguay

I have been invited to serve on the Program Committee of SEFM 2011, the 9th IEEE International Conference on Software Engineering and Formal Methods. SEFM 2011 will take place in Montevideo, Uruguay, end of November 2011. The PC-chairs are Gilles Barthe and Gerardo Schneider.
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 facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.
I served as a PC-Cochair for SEFM 2005. For information on the past SEFM conferences visit the general SEFM webpage.