Jason (jcreed) wrote,
Jason
jcreed

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.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments