From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4373 Path: news.gmane.org!not-for-mail From: Andrew Butterfield Newsgroups: gmane.science.mathematics.categories Subject: UTP'08 (revised call for papers) Date: Mon, 21 Apr 2008 10:44:42 +0100 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019904 13001 80.91.229.2 (29 Apr 2009 15:45:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:04 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Apr 21 15:17:21 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 21 Apr 2008 15:17:21 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Jo0NB-0000Dt-Gj for categories-list@mta.ca; Mon, 21 Apr 2008 15:04:13 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 22 Original-Lines: 97 Xref: news.gmane.org gmane.science.mathematics.categories:4373 Archived-At: 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