[ecoop-info] CfP: 4th International Symposium on Unifying Theories of Programming (UTP 2012)

Announcements of FME events events at fmeurope.org
Fri Dec 23 11:28:50 CET 2011



[Apologies for possible duplicates, please post!]


**********************************************************************
 4th
International Symposium on Unifying Theories of Programming
 co-located
with FM2012
 August 27 - 28, 2012
 Paris, France
 http://utp12.lri.fr/ [1]

**********************************************************************

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 at lri.fr [4])
 Burkhart Wolff
(wolff at lri.fr [5])

 ORGANISATION CHAIR
 Abderrahmane Feliachi
(feliachi at lri.fr [6])

 JOINT EVENT
 FM 2012, the 18th International
Symposium on Formal Methods
 http://fm2012.cnam.fr/ [7]


**********************************************************************

This call for papers and additional information about the symposium
 can be
found at http://utp12.lri.fr/ [8]
 For more information you can contact:

utp12 at lri.fr [9]  

 

Links:
------
[1] http://utp12.lri.fr/
[2]
http://www.springer.de/comp/lncs/authors.html
[3]
http://www.easychair.org/conferences/?conf=utp2012
[4]
mailto:mcg at lri.fr
[5] mailto:wolff at lri.fr
[6] mailto:feliachi at lri.fr
[7]
http://fm2012.cnam.fr/
[8] http://utp12.lri.fr/
[9] mailto:utp12 at lri.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20111223/f270cfe0/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: UTP12CFP.pdf
Type: application/pdf
Size: 206993 bytes
Desc: not available
Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20111223/f270cfe0/attachment-0001.pdf 
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events


More information about the ecoop-info mailing list