From: Andrew Butterfield <Andrew.Butterfield@cs.tcd.ie>
To: categories@mta.ca
Subject: UTP'08 (revised call for papers)
Date: Mon, 21 Apr 2008 10:44:42 +0100 [thread overview]
Message-ID: <E1Jo0NB-0000Dt-Gj@mailserv.mta.ca> (raw)
CALL FOR PAPERS
Unifying Theories of Programming 2008
Trinity College, Dublin, Ireland
September 8th--10th, 2008
https://www.cs.tcd.ie/utp08/
mailto:utp08@easychair.org
** Proceedings to be published in Springer LNCS **
Important Dates (revised)
---------------
Full Paper Submission 8th May, 6am BST
Author Notification 23rd June
Final Paper 21st July
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 will be published in Springer LNCS.
Papers may be up to 20 pages (single-column) in length and should
ideally be prepared using LaTeX in LNCS format and submitted as
pdf files no later than 6am British Summer Time on May 8th, 2008.
Paper submission and reviewing will be handled by Easychair
( http://www.easychair.org/conferences/?conf=UTP-08 )
This site is now open for submissions.
After the symposium, it is anticipated that selected papers will
invited for submission to a journal special issue.
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
reply other threads:[~2008-04-21 9:44 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1Jo0NB-0000Dt-Gj@mailserv.mta.ca \
--to=andrew.butterfield@cs.tcd.ie \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).