Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 3-16 July 2009
Location: 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:

Please note that this newsitem has been archived, and may contain outdated information or links.