I'm working on Formal Methods again. I really want to finish this last assignment as soon as possible, so I can finish my final paper.

It's going well, I've done the most difficult parts. The document I'll submit contains some beautiful pictures.

We had one hour for today's test Internet Programming. Some extra time would have been nicer but the questions weren't difficult and I had time to answer them all.

It had been a while since I was at the VU. There have been some changes; the area around the VU is being renovated.

	Destroying the amfi theater.
	A new cafe.
	The last one!

I think I'm well-prepared for my test, but still I'm reading everything one more time.

I'm working on the homework assignment for Formal Methods. I'll validate a network protocol, to verify it does what it should do. It is a relatively easy protocol ("sliding window") but the validation is rather complex. Make's it interesting.

There is no radio in the bedroom (where I'm working), but I discovered ShoutCast, which has a lot of online radio stations. The nice thing about it is that the quality is very good.

After this assignment there's a test on Monday, after which I'm done with all my courses. Then I'll have another few weeks to finish my internship paper.

I've submitted the official application for my graduation. There are some formalities I still have to do; one of these days I'll go to the VU for that. As soon as the date has been confirmed I'll let you know.

Yesterday morning I woke up with a cold. Nothing serious, but now I'm walking around with napkins all day.

Daniel and Erika arrived yesterday in Amsterdam. They must be a bit disappointed by the weather... compared with Hungary it must be cold here.

Only the documentation to go, and then I'm ready with the last assignment.

Will be a relief.

I'm ready with the stunnel part of the assigment. This means that the communication between the client and server is encrypted, and that the client can be sure that the server is trusted (a Certificate Authority vows for the server).

I'll start now with the 2nd part: making sure that clients have only access to their own accounts. This requires more 'intelligence'n in the server as there must be a mapping between account numbers and certificates.

This weekend I'll spend again programming. The 5th assignment isn't very large, and I've started it already, but it will still take quite some time.

I was pleasantly suprised to hear that we'll have a day off Monday; I though Whitsuntide would be next week but it's this weekend.

The goal of this assignment is to make sure that the communication between the bank and its client that we made earlier is secure. We'll use stunnel for that.

I've been reading an interesting book, "The Collapse of Chaos", last week. It deals with chaos and complexity, and how some mathematical complications fundamentely affect other sciences like biology, physics and economics.

Related to this I read a nice joke on Slashdot:

"Biologists like to think they are chemists. Chemists like to think they are physicists. Physicists like to think they are mathematicians. And mathematicians like to think they are god."

I'm working on the last assignment of Internet Programming. The weather is very nice again today, so I'm sitting at the large table, at the window. This morning I bought a longer cable, so now I have internet next at the window as well.

It's very busy on the river. A few minutes ago there were 3 water scooters passing, the ones you'll sometimes see at the sea-side.