Another summer (well, actually spring 2013), another conference: NASA Formal Methods, which is the one US-side event I have an affinity for. This instance took place on Moffett Field, basically in Silicon Valley, so there was the opportunity to sniff around corporate headquarters of some notorious tech giants. Well, all in all, it’s a pretty boring place. Most of the interesting stuff apparently happens in San Francisco up north. Also, the way to move on the north-south axis is a super-heavy, diesel-powered Caltrain (well, at least if you don’t do cars). I had to take a snashot of that one:

The only other photo worth sharing is probably a snapshot of SF at night. Of course I didn’t carry a tripod, so it’s the best I could improvise…

– 15.5.2013