[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] UTP08: call for work in progress papers



CALL FOR WORK-IN-PROGRESS PAPERS

              Unifying Theories of Programming 2008
                Trinity College, Dublin, Ireland
                    September 8th--10th, 2008
                  https://www.cs.tcd.ie/utp08/
                   mailto:utp08@xxxxxxxxxxxxx

Important Dates
---------------

WIP Paper Submission   14th July
Author Notification    21st July
Proceedings Version    4th August
Symposium              8th-10th September


In addition to the regular papers, and in order to encourage timely discussion of ongoing ideas and results, we would like to invite the submission of "work-in-progress" papers/extended abstracts for presentation at the symposium. The presenters of these papers will be entitled to submit a revised version for full review for inclusion in the formal (post-)proceedings to be published in Springer LNCS, and extended versions will be eligible for selection for a journal special issue.

WIP papers are extended abstracts of 1-3 pages, and in
the first instance will only be screened for relevance to the
Symposium objectives. Presenters will however be able to submit
a longer version for inclusion in the symposium attendees'
pre-proceedings.

WIP Papers should be submitted as PDF by email direct
to utp08@xxxxxxxxxxxxx


The aims and scope of the symposium are as follows:



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.


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.
School of Computer Science and Statistics,
Room F.13, O'Reilly Institute, Trinity College, University of Dublin
                           http://www.cs.tcd.ie/Andrew.Butterfield/
--------------------------------------------------------------------