I went to the Pentlands with dearg last weekend. Nice walk, as the weather turned out to be decent. Met people I knew there again, Ben from my office who I haven't seen in some time, somebody else from my department, and my uncle George. I don't know how often I should expect to see somebody I know in the Pentlands; it is close by, and I suppose I know quite a few people in Edinburgh, so even if I'm only there every few months (and always on a passable-weather weekend-day afternoon) perhaps I should not be surprised to bump into somebody every other time, say.

I am curious how pastimes are correlated with profession etc. For example, it seems that computer scientists are more likely to be into hillwalking than J. Random Officeworker, but perhaps my one-sided and anecdotal evidence is entirely misleading. I have no idea what the true figures are.

I've returned to running again. Just a couple of weeks so far, but I'm enjoying it. For motivation and something to work towards, I've signed up for the Glasgow half-marathon (the Great Scottish Run) at the start of September. Hopefully I will be able to gradually build up my weekly mileage between now and then to be able to put in a good first effort.

Before that, I will be going to Seattle in August for FLoC (Federated Logic Conference). My (joint) paper was accepted for the GaLoP workshop (Games for Logic and Programming Languages); I shall also be attending LICS (IEEE Symposium on Logic in Computer Science).