[Haskell] Call for Papers (UTP 2010)

[Huibiao Zhu]

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 at 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

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20100403/90137d03/attachment.html