<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">
<html><body>
<p><tt>**********************************************************************<br />&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;NEW DEADLINE EXTENSION<br /></tt></p>
<p><span class="Apple-style-span" style="white-space: pre-wrap;">The UTP symposium goes to a post-proceedings scheme (with publications in LNCS </span><span class="Apple-style-span" style="white-space: pre-wrap;">after the symposium). </span></p>
<p><span class="Apple-style-span" style="white-space: pre-wrap;">This leads to the new following schedule:</span></p>
<pre>- submission deadline of full papers: May 31 <br />- review in June with notification on June 30<br />- revised papers for the pre-proceedings due for July 16<br /><br />The authors who already submitted can revise their paper until the postponed deadline.<br /><br />The authors will have some time to improve their paper between the conference and the composition<br />of the LNCS proceedings.<br /><br />A few papers will be selected after the conference for possible publication in FACJ.</pre>
<p><tt><br /> </tt><tt> <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 /> </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: May 31, 2012<br /> Notification:&nbsp;&nbsp;&nbsp;&nbsp; June 30, 2012<br /> Camera-ready:&nbsp;&nbsp;&nbsp;&nbsp; July 16, 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, United Kingdom<br /> Jeremy Gibbons, University of Oxford, UK.<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: <a class="moz-txt-link-abbreviated" href="mailto:utp12@lri.fr">utp12@lri.fr</a></tt></p>
<div>
<pre>-- 
</pre>
</div>
</body></html>