Jason (jcreed) wrote,

Talked to Luis Caires and some of his students about temporal and modal logics and model checking and process calculi and stuff. Really interesting bunch of topics rather nicely on the fringe of what I actually know about, so that it was new material, but pretty easy to understand since it wasn't too new. For my part I tried to give the usual spiel about Twelf and my HLF stuff and so on.
Tags: talks, work

  • (no subject)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    Sean's back in town --- good fun working with nonremote teammates.

  • (no subject)

    Sean's in town at work, good times.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded