Invited talk at VMCAI, Jan 2014, San
Minimization via duality (photos removed).
Invited talk at LICS, June 2013, New Orleans,
Duality in Logic and Computation(photos removed).
Talk at Benasque, Spain, on Reconstructing
Spacetime Topology from Causal Structure, June 2013.
Talk given at the Symposium to
Honour Glynn Winskel.
Talk on Stone Duality for Markov processes.