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) © 2022 by Institut Mittag-Leffler Metric Analysis (January 13 - April 17, 2025) Winter School on Analysis and geometry on groups and spaces (January 27 - 31, 2024) International Conference: Differential geometry beyond Riemannian manifolds (March 24 - 28, 2025) Follow-Up Workshop: The Next Horizon: Workshop on Open Problems in Harmonic Analysis and Analytic Number Theory (April 28 - May 2, 2025) © Eveliina Peltola & Eero Saksman Probabilistic methods in quantum field theory (May 5 - August 15, 2025) Summer School: Probabilistic methods in quantum field theory (May 12 - 16, 2025) Workshop: Random geometry and its connections to QFT (May 19 - 23, 2025) Workshop: Integrable QFT: conformal bootstrap, bosonization, near-critical perturbations, and Coulomb gas (June 23 -27, 2025) Workshop: Gauge theories and spin systems: Yang-Mills theory, continuous symmetry, and disorder (July 28 - August 1, 2025) Follow-Up Workshop: Logic and Algorithms in Group Theory (August 18 - 22, 2025) → Short Research Presentations (August 21, 2025) © Neil Reid Definability, decidability, and computability (September 1 - December 12, 2025) Introductory School: Definability, Decidability, and Computability (September 15 - 19, 2025)
