(15 May 2005 at 09:55)
|My paper Distributed Control Flow with Classical Modal Logic was accepted to CSL 2005. This means I'll be visiting Oxford to present it in August. Hooray!
I'll put up a final version when I submit it, but you could look at the tech report version for now, if you want.
|Congrats Tom! I'll be in London the week before you, otherwise I'd come be bored at your presentation!
|I may try to stay an extra day or two before or after the conference.
Yesterday I moved to a new computer at work, and noticed that one of the fonts on it was Action Jackson. (and these weren't user-installed fonts, they were put there for building phone directory ads)