“...International Seminar on Proof Theory in Computer Science Dagstuhl Castle, Německo)...”