The Collegium Logicum 2012 workshop on the theme of Structural Proof Theory is being organized at LIX during 15–16 November. There will be invited talks by Alex Simpson and Paulo Oliva, and a number of contributed talks by participants from France and Austria. The program is now available.
Nov 06
