Posted by Mr Nelis Franken on 11 Mar 2009, 20:03 (last modified on 17 Mar 2009, 12:03)

Stefan Gruner, a senior lecturer in our department, was one of the editors of the recent proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), held in Cape Town, South Africa, 10-14 November 2008. Dr Antonio Cerone from the United Nations University was the other editor.

The goal of the SEFM conferences is to bring together practitioners and researchers from academia, industry and government to
- advance the state-of-the-art in Formal Methods;
- scale up the application of Formal Methods in software industry; and
- encourage their integration with practical engineering methods.

The book, published by the IEEE Computer Society, is available on the market under ISBN 978-0-7695-3437-4.

In 2008, SEFM took place on the African continent for the very first time. As the number of conferences and workshops on the topic of Formal Methods in Software Engineering is growing quickly, a distinguishing feature of SEFM is a several day summer-school affiliated to the conference, addressed to postgraduate students and researchers from academia and industry of the region in which the conference takes place.

In 2009, a selection of SEFM 2008 papers will be revised and published in a special issue of Springer's International Journal on Software and Systems Modelling (editor in chief: Bernhard Rumpe, RWTH Aachen) to which Antonio Cerone and Stefan Gruner will act as guest-co-editors for this occasion.

Stefan Gruner is a member of the Polelo research group in the Department of Computer Science.