(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?
|that sounds gross|
|Proposal draft: sent!|
|Talk about waiting until the last minute...|