NEWS

13th International Conference on Formal Engineering Methods
(
ICFEM 2011) will be held in Durham, UK, during Oct. 25-28, 2011,
see the conference homepage
http://www.scm.tees.ac.uk/icfem2011/
for details.