Workshop on Proof Theory, July 9-11


Immediately following the Logic Colloquium 08,
there will be a workshop on recent trends in proof theory,
taking place in Bern on July 9-11.

The venue of the workshop is the same as for the Logic Colloquium 08.

The program is now available here.