Computational Logic Seminars in St Andrews

2011-12

Computational Logic workshop for RD's retirement, 18-19 November 2011.

2010-11

2009-10

Gentzen Centenary Symposium, 24 November 2009.

2008-09

2007-08

2006-07

For details and/or confirmation and/or exact location: ask me (Roy Dyckhoff).