<div>Apologies if you've received multiple copies.</div>
<div><br>***************************************************************************************************<br> UTP 2010<br> The 3rd International Symposium on Unifying Theories of Programming</div>
<p> co-located with the 12th International Conference on Formal Engineering Methods (ICFEM 2010)</p>
<p> *** Call For Papers ***</p>
<p> Shanghai, China<br> 15-16 November, 2010<br> <a href="http://www.sei.ecnu.edu.cn/utp2010" target="_blank">http://www.sei.ecnu.edu.cn/utp2010</a><br>
<a href="http://www.easychair.org/conferences/?conf=utp10" target="_blank">http://www.easychair.org/conferences/?conf=utp10</a><br>****************************************************************************************************</p>
<p>Following on the success of UTP 2006 (County Durham, UK) and UTP 2008 (Dublin, Ireland),<br>we are pleased to announce the UTP 2010 symposium, to be held in Shanghai, China in<br>November 2010, co-located with ICFEM 2010, the 12th International Conference on<br>
Formal Engineering Methods.</p>
<p>Based on the pioneering work on Unifying Theories of Programming by Tony Hoare, He Jifeng<br>and others, the aims of the UTP Symposium series are to continue to reaffirm the significance<br>of the ongoing UTP project, to encourage efforts to advance it by providing a focus for<br>
the sharing of results by those already actively contributing, and to raise awareness of<br>the benefits of such unifying theoretical frameworks among the wider computer science<br>and software engineering communities.</p>
<p>Of particular interest is how unification may be used to meet the goals and difficulties<br>to be encountered in the Grand Challenges of Computing, with particular reference to<br>the UK's "GC6: Dependable Systems Evolution" and its international cousin the "Verified<br>
Software Initiative" and their shared goal of developing a Verified Software Repository.</p>
<p>To this end the UTP 2010 symposium welcomes contributions on the above themes as well as<br>others which can be related to them. Such additional themes include, but are not limited to,<br>relational semantics, relational algebra, healthiness conditions, normal forms,<br>
linkage of theories, algebraic descriptions, incorporation of probabilistic programming,<br>timed calculi and object-based descriptions, as well as alternative programming paradigms<br>such as functional, logical, data-flow, and beyond. In all cases, the UTP approach should<br>
be compared and advantages/disadvantages discussed.</p>
<p>Accepted papers will be published in the symposium proceedings by Springer as a volume of<br>the Lecture Notes in Computer Sciences. It is also planned to have a special journal issue<br>of Formal Aspects of Computing for revised/extended versions of selected best papers from<br>
the UTP 2010 symposium.</p>
<p>Papers should be written in English not exceeding 20 pages in LNCS format<br>(<a href="http://www.springer.de/comp/lncs/authors.html" target="_blank">http://www.springer.de/comp/lncs/authors.html</a>). Submission will be via the web-based<br>
easychair system.</p>
<p>Important Dates<br>---------------<br>Abstract submission deadline: 4th June, 2010<br>Full-paper submission deadline: 11th June, 2010<br>Author notification: 30th July, 2010<br>Final version due: 13th August, 2010<br>
Symposium: 15-16th November, 2010</p>
<p>Program Committee<br>-----------------<br>Bernhard K. Aichernig, Graz University of Technology, Austria<br>Hugh Anderson, National University of Singapore, Singapore<br>Phil Brooke, University of Teesside, UK<br>Andrew Butterfield, Trinity College Dublin, Ireland<br>
Ana Cavalcanti, University of York, UK<br>Yifeng Chen, Peking University, China<br>Deepak D'Souza, IISC, India<br>Steve Dunne, University of Teesside, UK<br>Colin Fidge, Queensland University of Technology, Australia<br>
Jeremy Gibbons, University of Oxford, UK<br>Lindsay Groves, Victoria University of Wellington, New Zealand<br>Will Harwood, University of York, UK<br>Ian Hayes, University of Queensland, Australia<br>Arthur Hughes, Trinity College Dublin, Ireland<br>
Jeremy Jacob, University of York, UK<br>Xiaoshan Li, University of Macao, Macao SAR, China<br>Zhiming Liu, UNU/IIST, Macao SAR, China<br>Annabelle McIver, Macquarie University, Australia<br>David Naumann, Stevens Institute of Technology, USA<br>
Geguang Pu, East China Normal University, China<br>Shengchao Qin (chair), Durham University, UK<br>Zongyan Qiu, Peking University, China<br>Bill Stoddart, University of Teesside, UK<br>Jun Sun, National University of Singapore, Singapore<br>
Meng Sun, CWI, the Netherlands<br>Naijun Zhan, Institute of Software, CAS, China<br>Huibiao Zhu, East China Normal University, China<br clear="all"><br>-- <br>yours,<br>Sun Jun<br></p>