? ?
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Apr. 12th, 2002|02:32 pm]
Concert reading group on model-checking and the mu-calculus. Kevin Watkins mumbled insistently that there ought to be a proof theory. After looking at it, I'd be really surprised if it hasn't already been done.

Saw LOTR in McConomy with a bunch of people. I left a bit early and missed the crowd, and the rain, as it turned out. Found Pete "doing Safewalk" in the lounge next to the morewood DA office, for "slacking off because nobody was calling" values of "doing Safewalk". combinator and norm wandered over and we played spades until like 3am.