Call for Papers

UTP 2016
6th International Symposium on Unifying Theories of Programming
June 4-5, 2016, Reykjavík, Iceland, Co-located with iFM 2016 http://utp2016.ecnu.edu.cn

Overview
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.

Venue and Event
UTP 2016 will be held at Reykjavík, Iceland, Iceland on 4 - 5
June 2016, co-located with iFM 2016.

Important Dates
Abstracts due: 19 February, 2016
Papers due: 4 March, 2016
Author notification: 15 April, 2016
Camera-ready for pre-proceedings: 29 April, 2016
Symposium: 4-6 June, 2016


Invited Speakers
Jifeng He (East China Normal University)
Tony Hoare (Microsoft Cambridge)

PC Chairs
Jonathan Bowen (London South Bank University)
Huibiao Zhu (East China Normal University)

Submissions
Papers may be up to 20 pages in length and should be prepared
using LaTeX in Springer LNCS paper format. Submissions should be
made through the UTP 2016 EasyChair site, https://www.easychair.org/conferences/?conf=utp2016 .

Publication
Symposium post-proceedings will appear in Springer's Lectures
Notes in Computer Science, as in past editions of the Symposium.
(To be confirmed.)

Previous UTP Symposia
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).


Prof. Jonathan Bowen
Emeritus Professor, London South Bank University
Chairman, Museophile Limited
http://www.jpbowen.com

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)