Max Planck Institute for Mathematics, Bonn, Germany, May-June 2007

I am Stephen G. Simpson, a mathematician at the Pennsylvania State University.

From May 27 to June 10, 2007, I participated in a special program on Proof Theory at the Max Planck Institute for Mathematics in Bonn, Germany.

I gave two talks:

Recursion Theory and Symbolic Dynamics.
May 30, 2007.
Abstract: PDF, PS, DVI, HTML, plain text.
Slides: PDF, PS.
June 8, 2007.
Abstract: PDF, PS, DVI, HTML, plain text.
Slides: PDF, PS, DVI.

A list of my recent and upcoming talks is available.

My publication list is available.

t20@psu.edu / 19 June 2007