The symposium is co-located with the 12th International Conference on Formal Engineering Methods (ICFEM 2010) and builds on the pioneering work on Unifying Theories of Programming by Tony Hoare, He Jifeng and others. The aims of the UTP Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of
the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities.
