p e r s o n a l |
Paper accepted!
(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. | |
|
Congratulations, tom! |
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. |
Conbulations!
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) |
|
|
|