Sunny days

I think I've been really lucky with the weather so far. There have been some showers, yesterday afternoon was dreadful with strong winds and showery rain, but today was again a lovely day full of sunshine. Back home, last weekend, the amount of rain usually reserved for one month was used up in a single day, while I was happily exploring the Howardian Hills. So much for the horrible climate that Yorkshire is supposed to be suffering from. (Yes, based on a sample of two weeks - I do not need anyone to point out the significance, lack thereof, of my observation.)

Enjoy it while it lasts, is my motto these days anyway. Today I once more enjoyed the luxury of being able to work on a single topic all day long (a comparison between GROOVE and SPIN based on a distributed consensus protocol, with +Giorgio Delzanno and +Riccardo Traverso), then I enjoyed a chat with +Dimitris Kolovos who gave me some ideas on how to solve the SDF3 to Uppaal transformation in Epsilon, then spinning. (Didn't enjoy my pizza afterwards, it was awful; moving on...) Yesterday I tried out Body Pump, in which the aim turns out to be to exhaust every individual muscle in your body, so that afterwards you are only fit to lie flat on the floor. I literally couldn't lift my arms any more. I even overslept this morning, which is a rare event (maybe unconnected). So there's nothing for it but to enjoy it again tomorrow...

Next Monday I have promised to give a presentation in the Enterprise Systems group seminar. That will give me the opportunity to meet more people: the group is divided over three different places separated by at least one floor and in one case a building. Now it's just a matter of deciding what I want to present :-/