
Home > Talks
Slides from Presentations
 Lectures at IRIF (Paris) January
2018: Lecture
1, Lecture
2, Lecture
3, Lecture 4
 Three lectures on quantitative equational reasoning at the Braga
summer school on probabilistic
programming: Part
1, Part 2
and Part 3.
 Quantum alternation, seminar at
Universidade do Minho, Braga, 25th May 2017.
 Characterizing relative
entropy on standard Borel spaces categorically, seminar at the
Universidade do Minho, Braga, 26th May 2017.
 Quantitative equational reasoning,
contributed talk at LICS 2016, New York, June 2016.
 A Logical Characterization of
Bisimulation  Berkeley Logic Colloquium, 2nd Dec 2016.
 Bisimulation for Markov
Processes  Stanford Logic Group Seminar, 30th Nov 2016.
 Quantum alternation, at the Chinese
Academy of Sciences.
 Talk at Tsinghua Software Day on 20th April
2015.
 Four expository talk on Labelled Markov
Processes: One,
Two,
Three and Four.
 Tutorial on probabilistic semantics
at POPL 2015.
 Spring School on Quantum Structures, May 2014. Tutorial on duality
theory: part
1, part
2, part 3.
 Invited talk at VMCAI, Jan 2014, San
Diego, on Minimization via duality (photos removed).
 Invited talk at LICS 2013, New Orleans,
on Duality in Logic and Computation. The pictures have been
removed in order to make the file smaller and easier to download.
 Invited talk at LICS 2013, New Orleans,
on Duality in Logic and Computation. This version is 4.3 Meg;
you may want to download the version above with the photographs removed.
 Talk given at the workshop on
Causality in Quantum Theory, Benasque, Spain, on Reconstructing
Spacetime Topology from Causal Structure, June 2013.
 Talk given at the Symposium to
Honour Glynn Winskel for turning 30 (?) at the Computer Laboratory,
Cambridge, June 2013.
 Talk given at Radboud University, Nijmegen
on Stone Duality for Markov processes, May 2013.
 Talk given at University of
Technology, Sydney, on Approximating LMPs by averaging, March 2013.
 Talk given at Macquarie University, Sydney,
on Duality for Automata, March 2013.
 Talk given at a Dagstuhl workshop on
Coalgebras, on Approximating Markov Processes by Averaging, October 2012.
 Talk given at McGill University to
commemmorate the birth centenary of Alan Turing, August 2012.
 Talk given at the symposium for Dexter
Kozen's 60th birthday celebration, April 2012.
 LI 2012 Week 4: Quantitative approaches. Tutorial on abstract Markov processes: part
1, part
2, part 3.
 LICS 2011 Tutorial on semantics: part
1, part
2, part 3.
 Duality talk given at Cambridge (more expository than the
one at Bath and Leicester) on 25th May 2011.
 Duality talk given at Leicester (13th
May 2011) and Bath (19th May 2011).
 Talk on Games, Schedulers and Process Algebra given at ICE 2011 (June
2011) and at BCTCS 2011 (April 2011). The pdf
version is over 20 Megs but the powerpoint
version is much smaller.
 Invited talk at QAPL 2011, Saarbrucken,
1st April 2011. These slides are not the ones I used at the talk
but are very similar. They were prepared by Pablo Castro for his talks
and are more detailed than mine were.
 Invited talk at FOSSACS 2011,
Saarbrucken, 28th March 2011.
 Oxford Oasis seminar on Quantum
Communication in Rindler Spacetime, 15th Oct 2010.
 Imperial College Logic seminar on
Duality for Probabilistic Automata, 20th Oct 2010.
 Part 1 of a Tutorial on Markov
Chains and Markov Processes at the SFM10 Summer School in
Bertinoro, Italy, 21st June 2010. Part
2. Part 3.
 Modular tensor categories and
topological quantum computing, a tutorial at the QICS school, Oxford,
May 2010. Powerpoint version.
 Overview of Verification Tutorial
Series at Mathematical Foundations Of Programming Semantics XXVI,
Ottawa, Canada, May 2010.
 Black Holes and Information Talk at
the Workshop on Informatic Phenomena, New Orleans, Oct 2009.
 Approximating Markov Processes,
Again! , invited talk at the Conference on Algebra and Coalgebra in
Computer Science, Udine, Italy, Sept 2009.
 Topological Quantum Computing
invited talk at the workshop on Development of Computational Models
(DCM), Rhodes, Greece, July 2009.
 Discrete Quantum Causal
Evolution at the Workshop on Categories, Quanta and Concepts at
the Perimeter Institute, Waterloo, June 2009.
 Proof nets as formal Feynman
diagrams at the Workshop on Quantum Logic Inspired by Quantum
Computation, Bloomington, May 2009.
 Tutorial on Feynman Diagrams at
the Twentyfifth Symposium on Mathematical Foundations of Programming
Semantics Oxford, April 2009.
 Talk from Workshop on Informatic
Phenomena, New Orleans, October 2008.
 Joint CONCUR  PODC plenary talk,
Toronto, 21 August 2008.
 Invited talk at the Workshop on
Approximate Behavioural Equivalences, Toronto, 18 August 2008.
 Invited talk at Computability in
Europe, Athens, 19 June 2008.
 Tutorial on Information Theory and
Security, CanadaFrance Conference on Security, June 2nd 2008.
 Tutorial on Information Theory and
Security, CanadaFrance Conference on Security. Powerpoint version.
 Talk at Mathematical Foundations
Of Programming Semantics 2008.
 Talk at Cornell Theory Seminar, April 22nd, 2008.
 Colloquium Talk at CUNY, Computer Science Department, April 17th,
2008.
 Invited talk at the Clifford
Lectures, Tulane University, March 13th 2008.
 Lecture 1 from the Winter school on
Logic at IIT Kanpur, January 2008.
 Lecture 2 from the Winter school on
Logic at IIT Kanpur, January 2008.
 Lecture 3 from the Winter school on
Logic at IIT Kanpur, January 2008.
 Lecture 4 from the Winter school on
Logic at IIT Kanpur, January 2008.
 Talk at MFPS April 2007 on Conformal
Field Theory as a Nuclear Functor. From the special session in Honour
of Gordon Plotkin's 60th birthday.
 Invited talk at ICALP July 2006 on
The one way to Quantum Computation.
 Talk at Dagstuhl on A Domain of Spcetime
Intervals for General Relativity. PDF version, unprintable.
 Talk at MFPS May 2006 on Duality for
Probabilistic Automata. PDF version; unprintable.
 Talk at Indiana Nov 2005 on Labelled
Markov Processes. PDF version; unprintable.
 Talk at Inria May 2005 on Quantum Leader
Election. PDF version; unprintable.
 Talk at MFPS May 2005 on Quantum Leader
Election. PDF version; unprintable. Shorter version of the above.
 Slides for QEST 2004 talk
(powerpoint)
 Talk at Dagstuhl 2004 on Causality,
Domains and General Relativity. PDF version; unprintable.
 Talk at Dagstuhl 2004 on Causality,
Domains
and General Relativity. PS version suitable for printing
 Slides from the Opening Remarks of the
Causality workshop. PDF.
 Sumati Surya's slides from the Causality
Workshop in Ottawa June 26th 2003. PDF.
 Postscript of slides from Ottawa
June
15th 2003 Tutorial on Quantum Mechanics.
 Pdf (printable) version of slides
from Ottawa June 15th 2003 Tutorial on Quantum Mechanics.
 Slides from Dagstuhl Talk on
Metrics 2003.

11 

