<p><tt>[Apologies for possible duplicates, please post!]<br /> <br /> **********************************************************************<br /> &nbsp;&nbsp; 4th International Symposium on Unifying Theories of Programming<br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; co-located with FM2012<br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; August 27 - 28, 2012<br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Paris, France<br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a class="moz-txt-link-freetext" href="http://utp12.lri.fr/">http://utp12.lri.fr/</a><br /> **********************************************************************<br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Submission deadline: March 18, 2012<br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -----------------------------------<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 href="http://www.springer.de/comp/lncs/authors.html">Springer             LNCS paper format</a>. Submissions should be made<br /> through the <a 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:&nbsp;&nbsp;&nbsp;&nbsp; May 14, 2012<br /> Camera-ready:&nbsp;&nbsp;&nbsp;&nbsp; June 4, 2012<br /> Symposium:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; August 27-28, 2012<br /> <br /> <br /> INVITED SPEAKERS<br /> Jim Woodcock, The University of York<br /> Jeremy Gibbons, University of Oxford<br /> <br /> <br /> CHAIRS<br /> Marie-Claude Gaudel (<a class="moz-txt-link-abbreviated" href="mailto:mcg@lri.fr">mcg@lri.fr</a>)<br /> Burkhart Wolff (<a class="moz-txt-link-abbreviated" href="mailto:wolff@lri.fr">wolff@lri.fr</a>)<br /> <br /> <br /> ORGANISATION CHAIR<br /> Abderrahmane Feliachi (<a 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 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 class="moz-txt-link-freetext" href="http://utp12.lri.fr/">http://utp12.lri.fr/</a><br /> For more information you can contact:<br /> <a class="moz-txt-link-abbreviated" href="mailto:utp12@lri.fr">utp12@lri.fr</a></tt></p>
<div>
<pre><br /></pre>
</div>
<div>
<pre><br /></pre>
</div>
<div>
<pre><br /></pre>
</div>