[Haskell] Unifying Theories of Programming 2008 - call for papers

Andrew Butterfield Andrew.Butterfield at cs.tcd.ie
Wed Feb 13 06:02:26 EST 2008

                         CALL FOR PAPERS

               Unifying Theories of Programming 2008
                 Trinity College, Dublin, Ireland
                     September 8th--10th, 2008
                    mailto:utp08 at easychair.org

Important Dates

Full Paper Submission   14th April
Author Notification     26th May
Final Paper             16th June
Symposium           8th-10th September

Following on the success of the first International Symposium on
Unifying Theories of Programming (UTP) held at Walworth Castle in 2006,
we are pleased to announce the second, to be held in Dublin in
September 2008. Based on the pioneering work on unifying theories of
programming of Tony Hoare, He Jifeng, and others, the aims of this
Symposium series are to continue 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.

Of particular interest is how unification may be used to meet the goals
and difficulties to be encountered in the Grand Challenges of
Computing, with particular reference to the UK's "GC6: Dependable
Systems Evolution", its international cousin the "Verified Software
Initiative", and their plan to develop a Verified Software Repository.

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, relational semantics, relational
algebra, healthiness conditions, normal forms, linkage of theories,
algebraic descriptions, incorporation of probabilistic programming,
timed calculi and object-based descriptions, as well as alternative
programming paradigms such as functional, logical, data-flow, and
beyond. In all cases, the UTP approach should be compared and
advantages/disadvantages discussed.

The proceedings of the first symposium was published by Springer as
LNCS Volume 4010 and we are currently in negotiation with Springer for
the second. Some of the best papers were revised and have been accepted
for publication in a forthcoming special issue of Formal Aspects of
Computing, and we are planning to have a special journal issue for the
2008 symposium as well.

Papers may be up to 20 pages (single-column) in length and should
ideally be prepared using LaTeX in LNCS format
(http://www.springer.de/comp/lncs/authors.html), and submitted as pdf
files no later than 14th April 2008.

Paper submission and reviewing will be handled by EasyChair
(http://www.easychair.org/conferences/?conf=UTP-08). This site will be
open for submissions from April 7th.

Invited Speakers

  Jifeng He, East China Normal University, Shanghai, China
  Ralph-Johan Back, Abo Akademi University, Finland.

Program Committee

  Bernhard Aichernig,  Graz University of Technology, Austria
  Andrew Butterfield (Chair), Trinity College Dublin, Ireland
  Ana Cavalcanti, University of York, UK
  Yifeng Chen, University of Durham, UK
  Steve Dunne, University of Teesside, UK
  Colin Fidge, Queensland University of Technology, Brisbane, Australia
  Jeremy Gibbons, University of Oxford, UK
  Lindsay Groves, Victoria University of Wellington, New Zealand
  Ian Hayes, University of Queensland, Australia
  Rick Hehner, University of Toronto, Canada
  Martin Henson,  University of Essex, UK
  Arthur Hughes, Trinity College Dublin, Ireland
  Zhiming Liu, United Nations University, Macau
  David Naumann,  Stevens Institute of Technology, New Jersey, US
  Shengchao Qin,  University of Durham, UK
  Augusto Sampaio, Universidade Federal de Pernambuco, Brazil
  Jim Woodcock, University of York, UK
  Huibiao Zhu, East China Normal University, Shanghai, China

Local Organisation

  Andrew Butterfield,
  Arthur Hughes
  Pawel Gancarski

Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
Course Director, B.A. (Mod.) in CS and ICT degrees, Year 4.
Department of Computer Science, Room F.13, O'Reilly Institute,
Trinity College, University of Dublin, Ireland.

More information about the Haskell mailing list