Jason (jcreed) wrote,
Jason
jcreed

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
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