Talks available on line

Here
is a talk on internal mobility (the talk deals with basic models
and type systems for process mobility). (BRICS, November 1997)

Here
is a talk on types for picalculus processes, with emphasis on their use
for reasoning. (ETAPS, April 1999)
On a similar topic, is
this
talk (Tosca, December 2000)

The picalculus and its family: interaction, equivalences
. (MFPS, April 2000)

Coinduction in Programming Languages
. (POPL, January 2004)

Bisimulation and Coinduction: from the Origins to Today
. (LICS, July 2004).
Here is a revised version (Algebraic Process Calculi: The First
25 Years and Beyond, August, 2005)

A talk on the future of concurrency
, Concurrency Panel,
Milner Symposium
April 2012