2nd Workshop of the Joint Project
"Structural and Computational Proof Theory"

October 26 – 28, 2011, Innsbruck

The workshop is funded by the STRUCTURAL project.

The workshop brings together the project particpants from Austria and France to discuss recent work and work in progress. Moreover estimeed colleagues have been invited to present their work.