p e r s o n a l |
Toodle-pip!
(20 Aug 2005 at 10:47) |
Well, in a few hours I'm heading off to Oxford, UK for the CSL 2005 conference, where I'll present my paper, Distributed Control Flow with Classical Modal Logic. I'll post the talk—which is a much easier read—as soon as it's finished!
I worked really hard this week to (almost) finish two academic projects: the first is the talk for CSL, which I need just to revise and add a little graphical polish to, and the second is a draft of my thesis proposal, a 50-page-and-growing monster that is only a few related work paragraphs and culled footnotes away from being ready. I plan on finishing these both at the airport or on the plane, so that I can relax and enjoy the trip!
Speaking of trip, I'll ask again: Does anybody have any suggestions for things to see or do while in Oxford? | |
|
bloody crumpets |
that sounds gross |
Proposal draft: sent! |
Talk about waiting until the last minute... |
Yes! |
|
|
|