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.

Talk Dana Scott: The Oxford Years

European Summer Meeting of the ASL, San Sebastian-Donostia, July 1996.

Invited Lecture Proof as Process

Tutorial Linear Logic

11th International Workshop, Computer Science Logic.
Aarhus, August 1997.

Invited Lecture
Constructing Categories of Abstract Games

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.

Joint AMS/SMF Meeting, Lyon, July 2001.
Special Session: Logic and Interaction.

Invited Lecture
Interaction of Strategies by
Composition of Interleavings

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

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

Colloquium in Honor of Giuseppe Longo, Paris, June 2007. Lecture: Modelling the Impossible

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

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

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

International Workshop on Categorical Logic (Satellite Workshop of MFCS and CSL 2010), Brno, August 2010. Invited Lecture: Sorts of Algebraic Theories

Mathematical Foundations of Program Semantics, Bath, June 2012. Invited Lecture: Some Mathematical Foundations of Game Semantics

Samson@60 2013 A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday, Oxford, May 2013. Invited talk: Algebra and Diagrams in the Lambda Calculus

GlynnFest: a workshop to honour Glynn Winskel, Cambridge, June 2013. Invited talk: Elements of a theory of algebraic theories

A Scientific Meeting in honour of Antonino Salibra, Paris, July 2013. Invited talk: A Hypermodern View of the Lambda Calculus

Samuel Eilenberg Centenary Conference, Warsaw, July 2013. Invited talk: 45 Years On: Some Abstract Mathematics of Eilenberg

A scientific meeting in honor of Pierre-Louis Curien, Venice, September 2013. Invited talk: A Dialectica-style Interpretation of Type Theory (I have not bothered to correct the mistaken statement about extensionality contained in this talk.)

Workshop in Quantum Mechanics and Computation, Oxford, October 2013. Invited talk: Functional Interpretations of Type Theory

XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Pisa, April 2014. Invited talk: Models for Type Theory A recording of the talk can be found at http://ailapisa2014.weebly.com/

Journees de la Federation de recherche en mathematiques de Paris-Centre, Paris, May 2014 Invited talk: Operads and Algebraic Theories

Category Theory 2014, Cambridge, June 2014. Invited talk: Constructing Hyperdoctrines: Towards a Model Theory of Type Theory