Proceedings

Proceedings will be published in Springer's Lecture Notes in Computer Science, volume 4010, Unifying Theories of Programming, First International Symposium (link to Springer web-site).

Also a special issue of the journal Formal Aspects of Computing featuring revised extended versions of selected papers from the symposium is planned, to appear first half of 2007.