Again I'm at the CWI, I just had my test of Formal Methods.

And I made it!

It went quite well, the beginning was a bit difficult but the final mark is an 8; very happy with that.

Tomorrow I'll start my internship with a conference day on Embedded Technology in Utrecht. My teacher will be there as well as a number of people from Chess.

Now I'll see if I can find a nice book on Computer Science from this library.