[isabelle] UTP 2012 - DEADLINE EXTENSION

                       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 <http://www.easychair.org/conferences/?conf=utp2012>.

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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.