Today I'll be at Progress 2002 in the Jaarbeurs in Utrecht. It's a day on embedded systems; there'll be a number of lectures and workshops.

Although their website is pretty bad the agenda looks very promising with interesting subjects. Some of them are about Formal Methods, the subject I just did an exam on yesterday. My teacher will also give a lecture.