[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for papers (UTP 2010)



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