<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 HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (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;
        text-justify:inter-ideograph;
        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-reply;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page Section1
        {size:612.0pt 792.0pt;
        margin:72.0pt 90.0pt 72.0pt 90.0pt;}
div.Section1
        {page:Section1;}
-->
</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=Section1>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>UTP 2010 - First CALL
FOR PAPERS<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>******************************************<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>* 3rd International
Symposium on<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>* Unifying Theories
of Programming<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>* (UTP 2010)<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>* 15-16 November
2010, Shanghai, China<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>*
http://www.sei.ecnu.edu.cn/utp2010<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>*<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>* For more
information email: utp2010@sei.ecnu.edu.cn<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>******************************************************
<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Following on the
success of UTP 2006 (County Durham, UK) and <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>UTP 2008 (Dublin,
Ireland), we are pleased to announce the UTP <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>symposium 2010, to be
held in Shanghai, China in November 2010, <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>co-located with the
12th International Conference on Formal <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Engineering Methods
(ICFEM 2010).<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Based on the
pioneering work on Unifying Theories of Programming <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>by Tony Hoare, He
Jifeng, and others, the aims of the UTP Symposium <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>series are to
continue to reaffirm the significance of the ongoing <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>UTP project, to
encourage efforts to advance it by providing a<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>focus for the sharing
of results by those already actively <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>contributing, and to
raise awareness of the benefits of such <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>unifying theoretical
frameworks among the wider computer science <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>and software
engineering communities. <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Of particular
interest is how unification may be used to meet the <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>goals and difficulties
to be encountered in the Grand Challenges <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>of Computing, with
particular reference to the UK's &quot;GC6: <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Dependable Systems
Evolution&quot;, its international cousin the <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>&quot;Verified
Software Initiative&quot;, and their plan to develop a Verified <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Software Repository.<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>To this end the
UTP2010 Symposium welcomes contributions on the above <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>themes as well as
others which can be related to them. Such additional <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>themes include, but
are not limited to, relational semantics, <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>relational algebra,
healthiness conditions, normal forms, linkage of <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>theories, algebraic
descriptions, incorporation of probabilistic <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>programming, timed
calculi and object-based descriptions, as well as <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>alternative
programming paradigms such as functional, logical, <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>data-flow, and
beyond. In all cases, the UTP approach should be <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>compared and
advantages/disadvantages discussed.<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Accepted papers are
envisaged to be published in the symposium <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>proceedings by
Springer as a volume of the Lecture Notes in Computer <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Sciences.&nbsp; We are
also planning to have a special journal issue of <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Formal Aspects of
Computing for selected best papers from the UTP 2010 <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>symposium.<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Papers should be
written in English and not exceed 20 pages in LNCS <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>format
(http://www.springer.de/comp/lncs/authors.html). Paper <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>submission will be
done online via the easychair submission system. <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Program Chair<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>---------------<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Shengchao Qin &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (Durham
Univeristy, UK)<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Important Dates <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>---------------<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>June 4,&nbsp; 2010: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Title
and abstract submission deadline <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>June 11, 2010: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Paper
submission deadline <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>July 30, 2010: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Acceptance/rejection
notification <o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>August 13, 2010: &nbsp;&nbsp;&nbsp; Camera-ready
version due<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'>Nov 15-16, 2010: &nbsp;&nbsp;&nbsp; UTP
2010<o:p></o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

<p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p>&nbsp;</o:p></span></p>

</div>

</body>

</html>