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!