Talks

This page contains a gradually increasing selection of slides from various talks I've given. (If you went to a talk, and want me to put the slides up here, tell me so!) There's a bias towards newer talks, because in the old days I used a complex idiosyncratic lash-up to produce talks with reasonable display quality, before the days of pdflatex, beamer and acroread; and an even more Heath-Robinson mess to produce talks with animations.

Files are PDF if they're recent talks, or PS for older talks. Note that the slides often include incrementally displayed pages, so they're not suitable for printing. Where I have one to hand, I've also included 4-up or 6-up versions for printing.

IDT talk - To infinity - and beyond!

This was a talk for the Interdiscplinary Tea. It's a gentle introduction to infinite ordinals, and some big numbers.
Slides for presentation and 6-up for printing.

Dagstuhl talk - Fixpoint and Games

This was a talk given at a Dagstuhl seminar ``Topological and Game-Theoretic Aspects of Infinite Computations'', reviewing my work on fixpoint hierarchies in descriptive set theory.
Slides and 6-up for printing.

BCTCS 2007 - Independence-friendly logics

This was an invited talk at BCTCS 2007, in which I gave a general introduction to Hintikka's independence-friendly logics, and some of the things I've been doing with them.
Slides and 6-up for printing.
Julian Bradfield
Last modified: Mon Sep 22 20:03:19 BST 2008