Proceedings of the International Seminar on Proof Theory in Computer Science