Event Overview https://www.mathematics.uni-bonn.de/him/video-recordings https://www.mathematics.uni-bonn.de/him/++resource++plone-logo.svg Video Recordings of past events © HIM Synergies between modern probability, geometric analysis and stochastic geometry (January 8 - April 19, 2024) Winter School on Geometry and Probability (January 22 - 26, 2024) Workshop: Asymptotics of (random) convex sets: fluctuations and large deviations (February 19 - 23, 2024) Workshop: High dimensional phenomena: geometric and probabilistic aspects (March 11-15, 2024) Follow-Up Workshop: Periods in Physics, Number Theory and Algebraic Geometry (April 22 - 26, 2024) © HIM Prospects of Formal Mathematics (May 6 - August 16, 2024) School on Formal Mathematics (May 13 - 17, 2024) Seminar Series (May 21 - August 16, 2024) Workshop: Formalization of Mathematics (June 17 - 21, 2024) Workshop: Bridgin between formal and informal (July 8 - 12, 2024) Workshop: Libraries of Digital Math (July 29 - August 2, 2024) © Women in Logic Women in Formal Mathematics (July 6 - 7, 2024) Follow-Up Workshop: "Multiscale Problems: Algorithms, Numerical Analysis and Computation" (August 19 - 23, 2024) © HIM Boolean Analysis in Computer Science (September 9 - December 18, 2024) Seminar Series School on PAC (probably approximately correct) learning and Boolean Harmonic Analysis (September 16 - 20, 2024) Workshop on Analysis and Geometry on Discrete Spaces (October 7 - 11, 2024) Workshop on Analysis in TCS: testing, learning, and complexity (November 4 - 8, 2024) Workshop: Information theory, Boolean functions, and lattice problems (November 18 - 22, 2024)