24 Nov 2009
St Andrews, Scotland
Gentzen Centenary Symposium: To celebrate the 100th birthday of Gerhard Gentzen, the founder of proof theory, a Gentzen Centenary Symposium will be held on Tuesday 24 November 2009 in St Andrews (Scotland). The aim is to cover some (but not all) topics relating to his and his work's contributions to and influence on logic, mathematics and computer science. Details are at http://www.cs.st-andrews.ac.uk/~rd/seminars/GCS.html which will be updated with changes (including abstracts) in due course.