Dear all,
coming Wednesday (Feb 1, at 17:00) Dr. Dennis Müller from FAU Erlangen will present a talk on "Bridging the gap between formal and informal mathematics".
Dennis Müller will present in presence in room WE5/03.004 at ERBA.
The Zoom online channel is as usual: https://uni-bamberg.zoom.us/j/66291970381 (Meeting ID: 662 9197 0381, Passcode: AISE-OS-22)
Best wishes,
Christoph