Friday, December 23, 2011

CfP: 4th International Symposium on Unifying Theories of Programming (UTP 2012)

[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/
**********************************************************************
               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. Submissions should be made
through the UTP 2012 easyChair.


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@lri.fr)
Burkhart Wolff (wolff@lri.fr)


ORGANISATION CHAIR
Abderrahmane Feliachi (feliachi@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@lri.fr