<p><tt>[Apologies for possible duplicates, please post!]<br /> <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 class="moz-txt-link-freetext" href="http://utp12.lri.fr/">http://utp12.lri.fr/</a><br /> **********************************************************************<br /> Submission deadline: March 18, 2012<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 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: 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<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>