TCS @ "Proof and Com­pu­ta­tion"

We have been invited to present our work on the connection between proof theory and rewriting at the yearly autumn school Proof and Computation in Herrsching, Germany. Georg will give a tutorial on "Cichon's Conjecture and other Fallacies".