This page contains reading material for the course "Proof Analysis"
to be held in the Summer School on Proof Theory, Computation and Complexity 
in Dresden. 
There are 3 chapters of the book "Structural Proof Theory" 
by Sara Negri and Jan von Plato (those with the numbers 1,3,6 in the filename),
covering the introductory part of the course, and 4 articles, 
for more advanced topics. 

I have added  the set of slides  used during the course (the files called 
dresden, with numbers from 1 to 4).
 
All the files are in various formats (ps, dvi, pdf)