nondeterministic . net

Clearing out the photograph backlog, I’ve just uploaded some twenty-odd pictures to Flickr. The Pacific Ocean, Atlantic Ocean, Haifa, and Jerusalem are all covered.

I guess that’s all I have to say about visiting friends in San Clemente, Mammoth Mountain, San Jose, and San Francisco, and visiting Braga and Porto for TACAS at ETAPS 2007. And going directly from my arrival in Tel Aviv to my graduation at the Technion.

The MEET Summer 2007 program will enter its fourth week tomorrow. At the parents’ event last Thursday, my thoughts turned as usual to the growth of MEET, in so many different dimensions, since it began in 2004.

Who knows where we go from here!

Now back to work.

And Movable Type seems to have eaten all the comments. Grumble.

At UIST 2006.

Some photos standing on the small balconies of our hotel room.

I wanted to finish out the series (1, 2, 3) with a photo of folks in the lab… but sadly that was not to be.

So instead, you get the slightly edited output of a utwho command, showing seven first- and second-year students hard at work.

And a photo of an ant who’s trying a little too hard to impress the queen.

Set up the machines: check.

Get the machines: check.

• Took a walk along the Rhine and found a synagogue destroyed on Kristallnacht.

• Visited Beethoven-Haus Bonn.

• Went to the Arithmeum museum of mechanical calculating machines.

• Took a 30-minute bus ride from Bonn to Köln.

• Took a 20-minute flight from Köln to Frankfurt.

• Watched The Man somewhere over the Balkans, which is not the easiest movie to “edit for content.”

• Et cetera & so forth.

That was fun, and I think it went well. So:

Don’t forget to experience the fury of… Modular Generic Verification of LTL Properties for Aspects.

I have a few points from my previous trip still to post… but now it’s time for AOSD.06, and to get ready for my FOAL talk on Modular Generic Verification of LTL Properties for Aspects at 11am tomorrow.

Posted from Ben Gurion Airport. Written in Brussels Airport, 17:40 CET.

Monday

• "Who verifies the verification tools?" Is that like who watches the watchers?
• Dinner: fondue. I opted for cheese. It was very good. I thought of the last time I had fondue, which I think was at home, with the fondue forks with the multi-colored ends. And the last time I had fondue in a restaurant, which I think was somewhere in northern New England during a skiing-related venture.

Tuesday

• Dinner: salmon with cream sauce of some sort. Tried a Belgian beer recommended by the waiter, who later revealed his bias: it was brewed in his home town. Comestibles again quite enjoyable.

Wednesday

• Final day of the conference. Although it was the Monday sessions of the meeting that were devoted to administrative business, the morning’s several hours discussion on an integration-heavy project deliverable really brought into mind-numbingly boring focus the bureaucracy that comes with being an EU ‘network of excellence.’

  [continue reading “Leuven in summary”]