Skip to main content »

Trinity College Dublin

Dublin University Crest Computer Science Department Trinity College Crest
 UTP08 Home
 Important Dates
 Call for Papers
 WIP Call
 Invited Speakers
 Program Committee
 Local Organisation

Unifying Theories of Programming 2008

2nd International Symposium

8th-10th September, Trinity College Dublin, Ireland.

New: "Future of UTP" slides now available.

Important Dates (revised)

Full Paper Submission 8th May 2008, 6am BST (expired)
Full Paper Author Notification June 23rd (passed)
Work-in-Progress (WIP) Submission 14th July 2008 (expired)
WIP Author Notification July 21st (passed)
Delegate Proceedings Copy Due August 25th (expired)
Symposium 8th-10th September (expired)
WIP Paper Review Submission Mon. 10th November 2008, 6am GMT (EXTENDED)
WIP Author Notification Friday. 16th January 2009 (delayed)
Publication-ready copy (all authors) Sun. 8th March 2009 (delayed)

Call For Papers [ PDF Version ]

Following on the success of the first International Symposium on Unifying Theories of Programming (UTP) held at Walworth Castle in 2006, we are pleased to announce the second, to be held in Dublin in September 2008. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this 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.

Of particular interest is how unification may be used to meet the goals and difficulties to be encountered in the Grand Challenges of Computing, with particular reference to the UK's "GC6: Dependable Systems Evolution", its international cousin "the Verified Software Initiative", and their plan to develop a Verified Software Repository .

To this end the Symposium welcomes contributions on the above themes as well as others which can be related to them. Such additional themes include, but are not limited to, relational semantics, relational algebra, healthiness conditions, normal forms, linkage of theories, algebraic descriptions, incorporation of probabilistic programming, timed calculi and object-based descriptions, as well as alternative programming paradigms such as functional, logical, data-flow, and beyond. In all cases, the UTP approach should be compared and advantages/disadvantages discussed.

The proceedings of this, the second symposium, will be published by Springer LNCS . Papers may be up to 20 pages (single-column) in length and should ideally be prepared using LaTeX in LNCS format , and submitted as pdf files no later than 6am British Summer Time on May 8th, 2008.

Submissions may contain clearly marked appendices of extra material beyond the page limit, but reviewers are under no obligation to consider these.


After the symposium, it is anticipated that selected papers will invited for submission to a journal special issue.

The proceedings of the first symposium was published by Springer as LNCS Volume 4010 Some of the best papers were revised and have been accepted for publication in a forthcoming special issue of Formal Aspects of Computing .

Paper Submission

Paper submission for review is now closed.

Uploading revised papers for the pre-proceedings can be done via . Revision uploading requires selecting the "pre-proceedings" item on the Easychair webpage top-level menu.

Invited Speakers

Jifeng He, East China Normal University, Shanghai, China
Ralph-Johan Back, Abo Akademi University, Finland.

Program Committee

Bernhard Aichernig, Graz University of Technology, Austria
Andrew Butterfield (Chair), Trinity College Dublin, Ireland
Ana Cavalcanti, University of York, UK
Yifeng Chen, University of Durham, UK
Steve Dunne, University of Teesside, UK
Colin Fidge, Queensland University of Technology, Brisbane, Australia
Jeremy Gibbons, University of Oxford, UK
Lindsay Groves, Victoria University of Wellington, New Zealand
Ian Hayes, University of Queensland, Australia
Rick Hehner, University of Toronto, Canada
Martin Henson, University of Essex, UK
Arthur Hughes, Trinity College Dublin, Ireland
Zhiming Liu, United Nations University, Macau
David Naumann, Stevens Institute of Technology, New Jersey, US
Shengchao Qin, University of Durham, UK
Augusto Sampaio, Universidade Federal de Pernambuco, Brazil
Jim Woodcock, University of York, UK
Huibiao Zhu, East China Normal University, Shanghai, China

Local Organisation

Andrew Butterfield
Arthur Hughes
Pawel Gancarski
Gillian Long
Email  WebAdmin @