[Haskell] Call for Papers (UTP 2016)

Huibiao Zhu hbzhu at sei.ecnu.edu.cn
Fri Feb 12 11:02:37 UTC 2016

                               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




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 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-5 June, 2016 



Invited Speakers

Tony Hoare (Microsoft Research, Cambridge, UK)

Title: Unifying Models and Laws for Concurrency and Distribution in
Object-Oriented Programs

Jifeng He (East China Normal University, China)

Title: A New Roadmap on Linking Theories of Programming

Note: The summary of the two invited talks can be downloaded from the


PC Chairs

Jonathan Bowen (London South Bank University)

Huibiao Zhu (East China Normal University)


Programme Committee:

Ana Cavalcanti, University of York, United Kingdom. 

Yifeng Chen, Peking University, China.

Andrew Butterfield, Trinity College Dublin, Ireland. 

Jeremy Gibbons, University of Oxford, United Kingdom. 

Lindsay Groves, Victoria University of Wellington, New Zealand. 

Walter Guttmann, University of Canterbury, New Zealand. 

Ian Hayes, University of Queensland, Austria. 

Jeremy Jacob, University of York, United Kingdom. 

Zhiming Liu, Birmingham City University, United Kingdom. 

David Naumann, Stevens Institute of Technology, USA. 

Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil. 

Shengchao Qin, Teesside University, United Kingdom. 

Georg Struth, University of Sheffield, United Kingdom. 

Jun Sun, Singapore University of Technology and Design, Singapore. 

Meng Sun, Peking University, China. 

Burkhart Wolff, University of Paris-Sud, France. 

Naijun Zhan, Chinese Academy of Sciences, China. 

Yongxin Zhao, East China Normal University, China.

Frank Zeyda, Teesside University, United Kingdom.



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 .



Symposium post-proceedings will appear in Springer's Lectures Notes in
Computer Science, as in past editions of the Symposium.


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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20160212/33b5a1be/attachment.html>

More information about the Haskell mailing list