3-16 July 2009, Leeds Symposium on Proof Theory and Constructivism, Leeds, U.K.

A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptw at leeds.ac.uk