June 4–5, 2016, Reykjavík, Iceland, Co-located with iFM 2016
For more information e-mail: firstname.lastname@example.org
Abstracts due: 19 February, 2016 18 March, 2016
Papers due: 4 March, 2016 20 March, 2016
Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way.
Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities.
To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. The 6th International Symposium on Unifying Theories of Programming (UTP2016) will be held in Reykjavík, Iceland in June 2016.
UTP 2016 is the 6th symposium in the UTP series. The past UTP symposia were successfully held in Durham ('06), Dublin ('08), Shanghai ('10), Paris ('12), Singapore ('14).
The proceedings of UTP 2016 have been published (LNCS 10134).
The official website link is:
The free online access is for 4 weeks (from 24-Jan-2017 until 17-Febr-2017).