[ecoop-info] UTP 2012 - DEADLINE EXTENSION

Announcements of FME events events at fmeurope.org
Tue Mar 6 11:02:30 CET 2012

                        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

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.

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 

Symposium Proceedings will appear in Springer's Lectures Notes in
Computer Science.

Paper submission: March 14, 2012
Notification:     May 14, 2012
Camera-ready:     June 4, 2012
Symposium:        August 27-28, 2012

Jim Woodcock, The University of York, United Kingdom
Jeremy Gibbons, University of Oxford, UK.

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

Abderrahmane Feliachi (feliachi at lri.fr)

FM 2012, the 18th International Symposium on Formal Methods

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

More information about the ecoop-info mailing list