Slides from Presentations

• Talk given at the symposium for Dexter Kozen's 60th birthday celebration.
• 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 SFM-10 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 Twenty-fifth 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, Canada-France Conference on Security, June 2nd 2008.
• Tutorial on Information Theory and Security, Canada-France 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.