[ecoop-info] UTP 2012 - DEADLINE EXTENSION

[Announcements of FME events]

**********************************************************************
                        DEADLINE EXTENSION

          Abstract submission: March 14, 2012
          Full paper submission: March 31, 2012

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

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 
<http://www.springer.de/comp/lncs/authors.html>. Submissions should be made
through the UTP 2012 easyChair 
<http://www.easychair.org/conferences/?conf=utp2012>.


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, United Kingdom
Jeremy Gibbons, University of Oxford, UK.


CHAIRS
Marie-Claude Gaudel (mcg at lri.fr)
Burkhart Wolff (wolff at lri.fr)


ORGANISATION CHAIR
Abderrahmane Feliachi (feliachi at lri.fr)


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 at lri.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120306/682dddcb/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: UTP12CFP.pdf
Type: 0/unknown
Size: 220068 bytes
Desc: not available
Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120306/682dddcb/attachment.bin 
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events