Call for Papers [PDF version]
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,
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 one of
the most significant such unification approaches to have emerged in the
last 15 years.
Based on their pioneering work, the aims of the UTP Symposium series are to continue reaffirming the significance of the ongoing UTP project and to stimulate 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.
To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming.
Symposium Proceedings will appear in Springer's Lectures Notes in Computer Science (TBC).