Wir wurden eingeladen, unsere Arbeit zum Zusammenhang zwischen Beweistheorie und Umschreiben auf der jährlichen Herbstschule Proof and Computation in Herrsching, Deutschland, vorzustellen. Georg wird ein Tutorial zum Thema „Cichons Vermutung und andere Irrtümer“ geben.
