FIRST CALL FOR PAPERS
UTP'06
First International Symposium on Unifying Theories of Programming
5(evening), 6 and 7 February 2006
Walworth Castle, County Durham
Submission Deadline: 5 September 2005
website: www.scm.tees.ac.uk/utpsymposium
Invited Speakers
----------------
Ian Hayes University of Queensland
He Jifeng United Nations University IIST
Eric Hehner University of Toronto
Tony Hoare Microsoft Research
Jeff Sanders Oxford University
Jim Woodcock University of York
Theme
-----
A number of formal notations and theories have now emerged and proved
themselves effective as tools for the practising software engineer.
Within these theories we see a number of common themes, such as
abstraction, refinement, choice, termination, feasibility, concurrency
and communication. The commonality of such themes opens perspectives
for unifying theories, an activity which can increase our ability to
use existing methods and notations, to recognise their limitations,
and to extend and generalise them. Based on the pioneering work on
unifying theories of programming of Tony Hoare and He Jifeng, which
itself acknowledges the influence of Eric Hehner's seminal ideas on
predicative programming, the aims of this Symposium are to reaffirm
the significance of the ongoing UTP project, to encourage 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 the above themes
as well as others which can be related to them. Such additional themes
include, but are not limited to, healthiness conditions, normal forms,
linkage of theories, algebraic descriptions, incorporation of
probabilistic programming, timed calculi and object-based descriptions.
Papers may be up to 20 pages in length and should prepared using latex
in LNCS format (see http://www.springer.de/comp/lncs/authors.html). and
submitted as PDF files no later than 5 September 05. Further submission
details will be obtainable in due course from the symposium website.
Program Committee
-----------------
Bernhard Aichernig UNU-IIST Macau, China
Didier Bert LSR-IMAG Grenoble, France
Jonathan Bowen London South Bank U, UK
Andrew Butterfield Trinity College Dublin, Ireland
Ana Cavalcanti U of York, UK
Yifeng Chen U of Durham, UK
Steve Dunne (Chair) U of Teesside, UK
Colin Fidge QUT, Australia
Andy Galloway U of York, UK
Lindsay Groves Victoria U of Wellington, NZ
Martin Henson U of Essex, UK
Zhiming Liu UNU-IIST Macau, China
David Naumann Stevens I of T New Jersey, USA
Richard Paige U of York, UK
Bill Stoddart U of Teesside, UK
Venue
-----
Walworth Castle, dating from the 12th C, is four miles outside
Darlington which is 2h30min by train from London, and ten miles
from Durham Tees Valley Airport (formerly Teesside airport) which
has daily flight connections to London, Amsterdam and Paris.
Darlington is also within easy reach of Newcastle Airport, which
has a wider range of international connections.
(see: www.walworthcastle.co.uk)
Proceedings
-----------
Publication of proceedings is envisaged in LNCS.
|