Slides (pdf) from my talk at the "Logic Colloquium" in Wroclaw, 2007.

Slides (pdf) from my talk at "Infinity in Logic and Computation" in Cape Town, 2007.

Slides (pdf) from my talk at the workshop "Mathematical Logic: Proof Theory and Constructive Mathematics" in Oberwolfach, 2008.

Slides (pdf) from my talk at the "Logic Colloquium '08" in Bern, 2008.

Slides (pdf) from my talk at the workshop "Recent trends in Proof Theory", Bern, 2008.

Back to home page.