UTP 2014: International Symposium on Unifying Theories of Programming


  • UTP 2014 is co-located with Formal Methods 2014. Visit the FM 2014 website here.

  • The Symposium will be held May 13, 2014. Attendees may be interested in the UTP tutorial on May 12.

  • Welcome to UTP 2014


    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.


  • Full paper due: February 21, 2014 (There's no longer a separate date for submission of abstracts)
  • Notification: April 4, 2014
  • Camera-ready for pre-proceedings: April 25, 2014
  • Symposium: May 13, 2014
  • Preliminary Schedule

    09:30Separating Concerns of Rely and Guarantee in Concurrent Program Derivation (invited talk), by Ian Hayes
    11:00Angelicism in the Theory of Reactive Processes, by Pedro Ribeiro and Ana Cavalcanti
    11:30A Formal Model for the Hybrid Programming Language, by Longfei Zhu, Qiwen Xu, Jifeng He and Huibiao Zhu
    12:00Towards Algebraic Semantics of Circus Time, by Kun Wei and Jim Woodcock
    14:00Constructing the Views Framework, by Stephan Van Staden
    14:30Observation-Oriented Semantics for Calculus of Wireless Systems, by Xiaofeng Wu and Huibiao Zhu
    15:00Timed External Choice in UTP, Samuel Canham and Jim Woodcock
    16:00Isabelle/UTP: A Mechanised Theory Engineering Framework, by Simon Foster, Frank Zeyda and Jim Woodcock
    16:30closing and discussion of the future of UTP