Aktuell keine Informationen oder Nachrichten!
Jasper Ganten
Probability Theory and Monads: From Category Theory to Lean4 Implementation. Donnerstag, 18.9.25, 10:00 -11:00, Seminarraum 232
David Rommelspacher
Zwei Beweise für Hindmans Theorem. Dienstag, 23.9.25, 15:00 -16:30, Seminarraum 404