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.
of the workshop is the same as for the Logic Colloquium 08
is now available here