Video Recordings of past events

Synergies between modern probability, geometric analysis and stochastic geometry

© 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)

Synergies between modern probability, geometric analysis and stochastic geometry

© 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)

logic black.jpg

© 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)

Synergies between modern probability, geometric analysis and stochastic geometry

© HIM

Boolean Analysis in Computer Science (September 9 - December 18, 2024)

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

Wird geladen