Monday, March 27th, 2006
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.
Wednesday, March 22nd, 2006
An interesting keynote this morning. Perhaps this is old news to the VI-<3 folks, but see Section IV on the 11th page (numbered 177) of this paper by Thompson et al.
And the problem with energized, engaging speakers is that their presentations seem to the listener to go by so much faster than soporific, unintelligible speakers.
And the problem with the latter is that there are so many of them.
And note that I didn’t say “interesting” or “uninteresting.” The ‘interestingness’ of a talk’s content is orthogonal to how well it’s presented.
Tuesday, March 21st, 2006
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.
Monday, March 20th, 2006
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.