06/09/2006: "World Cup Day"

The papers reviews I was assigned have been handed in time (just) and as usual I accepted all of my friends' papers in the hope that they will return the favor big grin ...only kiiding of course.

The committee was informed that the results will be handed out on the 13th (at which point i will know the fate of the NCL papers) while the mortal population will be informed by the 20th.

I am also close to completing a tool for verification. Next week the software I have been writing for the verification of XACML access control policies using VDM will see the light of day. I look forward to demonstrating this at the next AHM as well as the various eScience workshops. I will submit the same code to others for independant testing and verification. Im hoping to write a couple of papers for this technology along with my colleague Jeremy B., who owns the original idea for the tool.

I look forward to weekend's World Cup football although once again none of my countrymen are featured sad ...Ok im off to lose some money betting on WC events.!