Talks

This page contains talks that are not on the main publications page, for whatever reason.

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.

A Taste of UML, with added text-processing flavour!

A guest lecture for a course on computer processing of text at the University of Zagreb.
slides as presented

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: Thu Mar 21 16:51:38 GMT 2019