Workshop der Universität Innsbruck über Termersetzung und Beweistheorie im österreichischen Obergurgl, ganz in der Nähe, wo man Ötzi gefunden hat. Morgen Nachmittag wird gewandert, um das gute Wetter auszunutzen. Es sind einige interessante Vorträge angekündigt. Bin gespannt!