February 2nd, 2004

beartato phd

(no subject)

Definitely seeing the light at the end of the tunnel now.
I think I am going to wind up much happier about this paper when all is said and done than the TPHOLs'03 one. Not too optimistic about it getting accepted, but whatever. About seven pages are actually tolerable now, and just the middle three remain an unnegotiable mire of funny symbols, greek letters, and toxic gas. Well, okay, no toxic gas. And some of the letters aren't greek.
beartato phd

(no subject)

So the LICS deadline got pushed back a day due to problems with the submission server. I got a bunch of work done today, and I'm like 85% of the way there, but my brain is so tiiired.