On December 15th Johannes Lenhard will join us for a discussion of his recent Proof, Semiotics, and the Computer: On the Relevance and Limitation of Thought Experiment in Mathematics. This will be a purely in-person event at HLRS. If you would like to join please register at formanek@hlrs.de.