Kampkoder

This Friday, was the of the AISCP’08 conference and everything, including our own presentation went just fine. Although the material discussed spans very wide, i.e. from high voltage electrical systems to our presentation on static analysis for the Uppaal modeling language, it was a very nice and interesting venue. As always the launch was excellent and plenty.

At the gala dinner Friday night (anybody other than me thinking of the words “fancy dress party” from THGTG, anyway), awards was given to speakers and authors. It turned out that Uffe and my self, was awarded with the Honor of “Best computer science paper” from Google (along with a bit of money). Which, of cause, I am very happy about.

Update: the official reference has been released by IEEE, since it is not available without a login from the IEEE Xplore, I have decided to make it available here:
Thrane, C.; Sørensen, U., “Slicing for Uppaal,” Student Paper, 2008 Annual IEEE Conference , vol., no., pp.1-5, 15-26 Feb. 2008

Along with bibtex. More information on the project can be found here.