Thursday 31 January 2008

Welcome to the island

Once again an English-speaking island where they drive on the left side of the road. This could become something like my goal for life: to visit all those islands. [Bonus-question for computer scientists: Find the shortest path linking them.] I think this is quite a rewarding goal as there are locations such as Ireland, New Zealand and Fidschi among them.

But first I have a rather mid-term goal that already has a pretty title and on achieving it I will be getting a pretty title. The first one is "Integrating Theory Reasoning into Instance-based Theorem Proving", the second is PhD if anyone among my dear readers would want to know.

However, more exciting for my audience are certainly the basic facts. I live in a nice house in Withington together with five other students, I have a desk in the ugliest building on campus and they really care heart-warmingly for their PhD students there.

Of course, there are all those absurd things to tell and that's why it is always worth having a look at this very spot. Should I carry my camera with me when it is not raining, I will certainly provide some pictures. I don't want to force it, but the last couple of days have been rather dry and I could even spot some patches of blue sky. Thus, there is hope, but still I can see why you can only get ugly and apparently age-old postcards: you need a few decades until you have collected photos of the sights before a blue sky.

At the end, of course, the usual invitation: if you happen to be nearby (and this includes all of England, after all I'm not in Australia anymore), you are welcome to drop in any time and I can accommodate at least one air-bed in my room.