FINAL CALL FOR PAPERS
First International Symposium on Unifying Theories of Programming
5(evening), 6 and 7 February 2006
Walworth Castle, County Durham
**NEW DATE** Submission Deadline: 12 September 2005 **NEW DATE**
|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|
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 calculii and object-based descriptions. Papers may be up to 20 pages in length and should be prepared using LaTeX in LNCS format (see www.springer.de/comp/lncs/authors.html), and submitted as pdf files no later than 12 September 2005. Submissions should be made via the Submissions page of the symposium website, which will be open to receive them from 5 September 2005.
|Bernhard Aichernig||UNU-IIST Macau|
|Didier Bert||LSR-IMAG Grenoble|
|Jonathan Bowen||London South Bank|
|Andrew Butterfield||Trinity College Dublin|
|Steve Dunne (Chair)||Teesside|
|Colin Fidge||QUT Brisbane|
|Zhiming Liu||UNU-IIST Macau|
|David Naumann||Stevens IoT, New Jersey|
Walworth Castle, dating from the 12th C, is four miles outside Darlington (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.
It has been agreed in principle by Formal Aspects of Computing that a special issue of that journal will feature extended versions of selected papers from the symposium.