Slides of talks

I have slides for many of the talks which I have given in recent years, and some from further back. When I have slides available and some of the material covered is not in one of the papers which I am otherwise putting on my site, I shall try to put them here.

1996

In July 1996 I was an invited speaker at the Association of Symbolic Logic meeting in San Sebastian-Donostia, and at the last minute was asked also to give a Tutorial.
European Summer Meeting of the ASL, San Sebastian-Donostia, July 1996.
Invited Lecture Proof as Process
Tutorial Linear Logic

1997

11th International Workshop, Computer Science Logic. Aarhus, August 1997.
Invited Lecture Constructing Categories of Abstract Games

1998

Mathematical Foundations of Progamming Semantics XIV, Queen Mary, London, May 1998.
Invited Lecture Sequentiality
The work described is joint with Robin Cockett and Andrea Schalk. I hope sometime to describe the relation with other abstract game models.

2001

Joint AMS/SMF Meeting, Lyon, July 2001. Special Session: Logic and Interaction.
Invited Lecture Interaction of Strategies by Composition of Interleavings

2006

In March 2006 I made a trip to Kuwait as a guest of KFAS, the Kuwait Foundation for the Advancement of Sciences. I gave two long lectures at Kuwait University, the first being formally part of the Kuwait Lecture Series which is a component of the Kuwait Mathematics Programme at Cambridge, and the second being a more specialist lecture.
The abstract of the first and abstract of the second lecture give some idea of what is in the slides.
Kuwait Lecture: Algebra and Logic
Further Lecture: Higher Dimensional Categories

I also gave a couple of lectures at the 34eme Ecole de Printemps en Informatique Théorique whose subject was Jeux en sémantique et vérification.
EPIT 2006, Le de Re, May-June 2006. Lectures: Games and Logic

2007

3rd Workshop on Formal Topology, Padova, May 2007. Lecture: Formal Topology and Commutative Algebra

Workshop on Proof Theory in Mathematics, MPIM, Bonn, June 2007. Lecture: Propositions as Types

Category Theory 2007. Carvoeiro, Algarve, Portugal, June 2007. Invited Lecture: Fibrations in Logic

LICS 2007 and Logic Colloquium 2007 (Joint Session) Wroclaw July 2007. Invited Lecture: Combinatorics of Proofs

28th Marktoberdorf Summer School August 2007. Slides from Course: Abstract and Concrete Models of Recursion

2008

Domains IX, Ninth Workshop on Domain Theory, Sussex, September 2008. Invited Lecture: Some Reasons for Generalizing Domain Theory

2009

TACL 2009: Topology, Algebra and Categories in Logic, Amsterdam, July 2009. Invited Lecture: Multicategories in and around Logic