<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body bgcolor="#ffffff" text="#000000">
<tt>**********************************************************************<br>
DEADLINE EXTENSION<br>
<br>
Abstract submission: March 14, 2012 <br>
Full paper submission: March 31, 2012 <br>
</tt><tt> <br>
**********************************************************************<br>
4th International Symposium on Unifying Theories of Programming<br>
co-located with FM2012<br>
August 27 - 28, 2012<br>
Paris, France<br>
<a moz-do-not-send="true"
class="moz-txt-link-freetext" href="http://utp12.lri.fr/">http://utp12.lri.fr/</a><br>
**********************************************************************<br>
</tt><tt><br>
CALL FOR PAPERS<br>
</tt><tt>Interest in the fundamental problem of the combination of
formal<br>
notations and theories of programming has grown consistently in
recent<br>
years. The theories define, in various different ways, many common<br>
notions, such as abstraction, refinement, choice, termination,
feasibility,<br>
concurrency and communication. Despite these differences, such
theories<br>
may be unified in a way which greatly facilitates their study and<br>
comparison. Moreover, such a unification offers a means of
combining<br>
different languages describing various facets and artifacts of
software<br>
development in a seamless, logically consistent way. Hoare and
He's<br>
Unifying Theories of Programming (UTP) is widely acknowledged one<br>
of the most significant such unification approaches to have
emerged in<br>
the last 15 years.<br>
<br>
Based on their pioneering work, the aims of the UTP Symposium<br>
series are to continue reaffirming the significance of the ongoing
UTP<br>
project and to stimulate efforts to advance it by providing a
focus for the<br>
sharing of results by those already actively contributing, and to
raise<br>
awareness of the benefits of such unifying theoretical frameworks
among<br>
the wider computer science and software engineering communities.<br>
<br>
To this end the Symposium welcomes contributions on all the themes
<br>
that can be related to the Unifying Theories of Programming.<br>
<br>
<br>
SUBMISSIONS<br>
Papers may be up to 20 pages in length and should be prepared
using<br>
LaTeX in <a moz-do-not-send="true"
href="http://www.springer.de/comp/lncs/authors.html">Springer
LNCS paper format</a>. Submissions should be made<br>
through the <a moz-do-not-send="true"
href="http://www.easychair.org/conferences/?conf=utp2012">UTP
2012 easyChair</a>.<br>
<br>
<br>
PUBLICATION<br>
Symposium Proceedings will appear in Springer's Lectures Notes in
<br>
Computer Science. <br>
<br>
<br>
IMPORTANT DATES<br>
Paper submission: March 14, 2012<br>
Notification: May 14, 2012<br>
Camera-ready: June 4, 2012<br>
Symposium: August 27-28, 2012<br>
<br>
<br>
INVITED SPEAKERS<br>
Jim Woodcock, The University of York, United Kingdom<br>
Jeremy Gibbons, University of Oxford, UK.<br>
<br>
<br>
CHAIRS<br>
Marie-Claude Gaudel (<a moz-do-not-send="true"
class="moz-txt-link-abbreviated" href="mailto:mcg@lri.fr">mcg@lri.fr</a>)<br>
Burkhart Wolff (<a moz-do-not-send="true"
class="moz-txt-link-abbreviated" href="mailto:wolff@lri.fr">wolff@lri.fr</a>)<br>
<br>
<br>
ORGANISATION CHAIR<br>
Abderrahmane Feliachi (<a moz-do-not-send="true"
class="moz-txt-link-abbreviated" href="mailto:feliachi@lri.fr">feliachi@lri.fr</a>)<br>
<br>
<br>
JOINT EVENT<br>
FM 2012, the 18th International Symposium on Formal Methods<br>
<a moz-do-not-send="true" class="moz-txt-link-freetext"
href="http://fm2012.cnam.fr/">http://fm2012.cnam.fr/</a><br>
<br>
**********************************************************************<br>
This call for papers and additional information about the
symposium<br>
can be found at <a moz-do-not-send="true"
class="moz-txt-link-freetext" href="http://utp12.lri.fr/">http://utp12.lri.fr/</a><br>
For more information you can contact: <a moz-do-not-send="true"
class="moz-txt-link-abbreviated" href="mailto:utp12@lri.fr">utp12@lri.fr</a></tt>
</body>
</html>