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


Date: 3rd of Mar. 2006

Photos of the symposium have now been added to the web-site. Use the menu option "Symposium Photos" to access / view them.

Date: 23rd of Feb. 2006

Slides downloadable as PDF have been put up for several talks. They can be accessed them via the menu option "Presentation Slides" to the left.

The UTP Symposium was organised by the Formal Methods and Programming Research Group of the School of Computing, University of Teesside (UK).

Click on the link above to visit our web-site!

In case of any problems accessing this website please email