Math Calendar

Monday, July 13, 2026
09:00-10:00
MINN-0.09
MSc thesis presentation
Iddo Bruijn - The Role of Self-Interaction in the Mean-Field Limit and Critical Fluctuations of an Interacting Particle Model

Supervisor: Dr. Alexandra Holzinger

Secondexaminer: Prof. Dr.Wioletta Ruszel.

Abstract: Modeling interacting particle systems is a fundamental task in many areas of science. Systems of stochastic differential equations provide an accurate microscopic model but arecomputationally expensive for large particle numbers. A deterministic partial differential equation instead can model the density accurately on a macroscopic scale. The mean-field limit connects the two descriptions, and the associated fluctuation process yields a stochastic correction to the macroscopic PDE.

In this work, the role of the self-interaction within a mean-field model is examined. Mean-field and fluctuation-process limits are proven under general assumptions on the self-interaction. At criticality, where the limiting fluctuation process becomes unstable, a rescaled fluctuation limit is derived. These results are illustrated using two specific self-interactions, both theoretically and through numerical simulations.
Thursday, July 16, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Tuesday, July 21, 2026
13:30-14:30
HFG 7.07
AG Seminar
Henru Liu (IPMU)
Abstract: TBA
Thursday, July 23, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, July 30, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, August 6, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, August 13, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, August 20, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, August 27, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, September 3, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, September 10, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Friday, September 11, 2026
10:15-11:15
Academiegebouw
PhD Defense Leonardo Perotti
Thursday, September 17, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, September 24, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 1, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Tuesday, October 6, 2026
14:30-16:00
MI institute meeting
16:00-17:00
HFG 6.11
MI talk
Francesca Pratali
TBA
Thursday, October 8, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 15, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 22, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 29, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, November 5, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, November 12, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, November 19, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, November 26, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 3, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 10, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 17, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 24, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 31, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, January 7, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!