UTP 2010 - First CALL FOR PAPERS ****************************************** * 3rd International Symposium on * Unifying Theories of Programming * (UTP 2010) * 15-16 November 2010, Shanghai, China * http://www.sei.ecnu.edu.cn/utp2010 * * For more information email: utp2010@sei.ecnu.edu.cn ****************************************************** Following on the success of UTP 2006 (County Durham, UK) and UTP 2008 (Dublin, Ireland), we are pleased to announce the UTP symposium 2010, to be held in Shanghai, China in November 2010, co-located with the 12th International Conference on Formal Engineering Methods (ICFEM 2010). Based on the pioneering work on Unifying Theories of Programming by Tony Hoare, He Jifeng, and others, the aims of the UTP Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage 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. Of particular interest is how unification may be used to meet the goals and difficulties to be encountered in the Grand Challenges of Computing, with particular reference to the UK's "GC6: Dependable Systems Evolution", its international cousin the "Verified Software Initiative", and their plan to develop a Verified Software Repository. To this end the UTP2010 Symposium welcomes contributions on the above themes as well as others which can be related to them. Such additional themes include, but are not limited to, relational semantics, relational algebra, healthiness conditions, normal forms, linkage of theories, algebraic descriptions, incorporation of probabilistic programming, timed calculi and object-based descriptions, as well as alternative programming paradigms such as functional, logical, data-flow, and beyond. In all cases, the UTP approach should be compared and advantages/disadvantages discussed. Accepted papers are envisaged to be published in the symposium proceedings by Springer as a volume of the Lecture Notes in Computer Sciences. We are also planning to have a special journal issue of Formal Aspects of Computing for selected best papers from the UTP 2010 symposium. Papers should be written in English and not exceed 20 pages in LNCS format (http://www.springer.de/comp/lncs/authors.html). Paper submission will be done online via the easychair submission system. Program Chair --------------- Shengchao Qin (Durham Univeristy, UK) Important Dates --------------- June 4, 2010: Title and abstract submission deadline June 11, 2010: Paper submission deadline July 30, 2010: Acceptance/rejection notification August 13, 2010: Camera-ready version due Nov 15-16, 2010: UTP 2010