[PT] Gentzen Centenary Symposium in St Andrews, 24 November
Roy Dyckhoff <[email protected]>
| Newsgroups | gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
Attention proof-theorists! 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. RD -- Roy Dyckhoff e-mail: [email protected] School of Computer Science University of St Andrews tel: +44-1334-463267 North Haugh, St Andrews, fax: +44-1334-463278 Fife, KY16 9SX, Scotland secr: +44-1334-463253 The University of St Andrews is a charity registered in Scotland: No SC013532. Home page: http://www.cs.st-andrews.ac.uk/~rd