27-28 Aug 2012
Paris, France
********************************************************************** 4th International Symposium on Unifying Theories of Programming co-located with FM2012 August 27 - 28, 2012 Paris, France http://utp12.lri.fr/ ********************************************************************** Submission deadline: March 18, 2012 ----------------------------------- CALL FOR PAPERS Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged one of the most significant such unification approaches to have emerged in the last 15 years. Based on their pioneering work, the aims of the UTP Symposium series are to continue reaffirming the significance of the ongoing UTP project and to stimulate efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. SUBMISSIONS Papers may be up to 20 pages in length and should be prepared using LaTeX in Springer LNCS paper format [2]. Submissions should be made through the UTP 2012 easyChair [3]. PUBLICATION Symposium Proceedings will appear in Springer's Lectures Notes in Computer Science. IMPORTANT DATES Paper submission: March 14, 2012 Notification: May 14, 2012 Camera-ready: June 4, 2012 Symposium: August 27-28, 2012 INVITED SPEAKERS Jim Woodcock, The University of York Jeremy Gibbons, University of Oxford CHAIRS Marie-Claude Gaudel (mcg@lri.fr [4]) Burkhart Wolff (wolff@lri.fr [5]) ORGANISATION CHAIR Abderrahmane Feliachi (feliachi@lri.fr [6]) JOINT EVENT FM 2012, the 18th International Symposium on Formal Methods http://fm2012.cnam.fr/ ********************************************************************** This call for papers and additional information about the symposium can be found at http://utp12.lri.fr/ For more information you can contact: utp12@lri.fr