School of Computing - University of Teesside - Middlesbrough (UK)
Menu of Content


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.

In case of any problems accessing this website please email