Proceedings 2012 now available

Proceedings of the eighth international CATaC Conference (Aarhus, Denmark, June 2012) are now available for viewing and download from the CATaC website.

Visit this page to view Proceedings 2012. Note that these Proceedings have been divided into two parts, for reasons of file size.