Proof Theory in Computer Science Dagstuhl Seminar