The Fine Structure of Formal Proof Systems and their Computational Interpretations Workshop (3rd FISP Meeting) brings together the project particpants from Austria and France to discuss recent work and work in progress. Moreover colleagues have been invited to present their work. The workshop is organized by the KGS.

Please visit the web site of the workshop for more information: http://dmg.tuwien.ac.at/baaz/workshop/.