- I've been invited to speak at the CAV'08 workshop on numerical abstractions.
- Tal Lev-Ami and Mooly Sagiv visited last week, and kept me busy with a research topic that we've been working on for some time but only recently began to understand.
- John Reynolds' visit is over and he is now returning back to Carnegie Mellon.
- I'll be in San Francisco and Denver from Dec 18th until Jan 12th
- On Jan 12th I'm going to Carnegie Mellon for my sabbatical