During November 25-26, 2013 I was an invited participant in a Royal Society International Scientific Seminar, Computational Interpretations of Mathematical Theorems, held at Chicheley Hall, Buckinghamshire, UK.
As part of the event, I gave an invited 45-minute talk entitled Recursion theory and symbolic dynamics.
My abstract is available in several formats: PDF, PS, DVI.
My slides are available in several formats: PDF, PS.
A list of my recent and upcoming talks is available.
My publication list is available.
t20@psu.edu / 28 October 2013