Workshop
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.
back