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.