<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
font-size:10.5pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle21
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle22
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle23
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle24
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle25
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle26
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle27
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle28
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle29
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle30
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle31
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle32
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle33
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=ZH-CN link=blue vlink=purple style='text-justify-trim:punctuation'><div class=WordSection1><p class=MsoNormal><span lang=EN-US> Call for Papers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> UTP 2016<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> 6th International Symposium on Unifying Theories of Programming<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> June 4–5, 2016, Reykjavík, Iceland, Co-located with iFM 2016<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> http://utp2016.ecnu.edu.cn<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Overview<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>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. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Venue and Event<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>UTP 2016 will be held at Reykjavík, Iceland on 4 - 5 June 2016, co-located with iFM 2016.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Important Dates<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Abstracts due: 19 February, 2016 <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Papers due: 4 March, 2016 <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Author notification: 15 April, 2016 <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Camera-ready for pre-proceedings: 29 April, 2016 <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Symposium: 4-5 June, 2016 <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Invited Speakers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Tony Hoare (Microsoft Research, Cambridge, UK)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Title: Unifying Models and Laws for Concurrency and Distribution in Object-Oriented Programs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Jifeng He (East China Normal University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Title: A New Roadmap on Linking Theories of Programming<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Note: The summary of the two invited talks can be downloaded from the website.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>PC Chairs<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Jonathan Bowen (London South Bank University)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Huibiao Zhu (East China Normal University)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Programme Committee:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Ana Cavalcanti, University of York, United Kingdom. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Yifeng Chen, Peking University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Andrew Butterfield, Trinity College Dublin, Ireland. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Jeremy Gibbons, University of Oxford, United Kingdom. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Lindsay Groves, Victoria University of Wellington, New Zealand. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Walter Guttmann, University of Canterbury, New Zealand. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Ian Hayes, University of Queensland, Austria. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Jeremy Jacob, University of York, United Kingdom. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Zhiming Liu, Birmingham City University, United Kingdom. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>David Naumann, Stevens Institute of Technology, USA. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Shengchao Qin, Teesside University, United Kingdom. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Georg Struth, University of Sheffield, United Kingdom. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Jun Sun, Singapore University of Technology and Design, Singapore. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Meng Sun, Peking University, China. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Burkhart Wolff, University of Paris-Sud, France. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Naijun Zhan, Chinese Academy of Sciences, China. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Yongxin Zhao, East China Normal University, China.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Frank Zeyda, Teesside University, United Kingdom.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Submissions<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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, <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>https://www.easychair.org/conferences/?conf=utp2016 .<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Publication<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Symposium post-proceedings will appear in Springer's Lectures Notes in Computer Science, as in past editions of the Symposium.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Previous UTP Symposia<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>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).<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p></div></body></html>