Monday, January 19, 2026
14:15-16:15
Patrick Finke PhD Defense
Tuesday, January 20, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, January 21, 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 22, 2026
13:00-14:00
HFG 707
Math-Phys Thursdays with Jan-Bas Spoelder
Title:
Spectral analysis  for a Class of Zero-Order Pseudodifferential Operators from Oceanographic Models

Summary:
We study a zero-order pseudodifferential operator related to oceanographic equations and establish the presence of embedded eigenvalues in its continuous spectrum. A sketch of the proof is presented, together with a discussion of why such spectral features are structurally relevant in oceanographic applications.
Tuesday, January 27, 2026
13:30-14:30
HFG 7.07
AG Seminar
Martin Bright (Leiden University)
Wednesday, January 28, 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, February 3, 2026
13:30-14:30
HFG 7.07
AG Seminar (reserved)
16:00-17:00
UGC colloquium
Markus Reineke (Ruhr-Uni­ver­si­tät Bo­chum) - Noncommutative Hilbert schemes and a Springer resolution
After recalling basic ideas of noncommutative algebraic geometry, we construct moduli spaces for one-sided ideals in noncommutative formal power series rings, called (punctual) noncommutative Hilbert schemes. For these schemes, we construct affine pavings and a Springer-type resolution of singularities, which allows us to determine their Borel-Moore- and intersection Betti numbers. All constructions are based on explicit linear algebra methods.
Wednesday, February 4, 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, February 5, 2026
13:00-14:00
Math-Phys Thursdays
Friday, February 6, 2026
11:00-16:00
TBA
Mark Kac seminar in mathematical physics and probability with Alessandro Giuliani (U Rome 3)

Speaker: Alessandro Giuliani (U Rome 3)

 

Title: Title: Non trivial fixed point of a self-interacting fermionic theory in three dimensions



Abstract: A statistical mechanics system at a second order phase transition is characterized by a set of critical exponents describing the behavior of a few key physical quantities at or close to the transition, such as the order parameter (e.g. the magnetization in the Ising model), the correlation length, the susceptibility, or the polynomial decay of correlations of local fluctuations. These critical exponents are believed to be robust under a large class of perturbations of the microscopic Hamiltonian used to model the system, and to characterize uniquely the Euclidean field theory describing the large distance behavior of correlations. It is widely expected that this field theory is conformally invariant and can be constructed as the fixed point of a Wilsonian Renormalization Group (RG) transformation. Mathematically, there are very few cases where these expectations can be rigorously substantiated, particularly if we restric our attention to cases where the limiting Euclidean field theory is non-trivial, i.e., non-Gaussian. In this seminar I will introduce a three dimensional model of self-interacting fermions admitting a non-Gaussian RG fixed point, for which many such properties can be rigorously proven. I will describe the construction of the limiting Euclidean field theory, of the robustness of its critical exponents, and I will outline a program for proving its conformal invariance. Talks based on joint works with Vieri Mastropietro, Slava Rychkov and Giuseppe Scola.
14:00-15:30
HFG-1.06
History of Mathematics Seminar
Jeanine Daems (UU and HU) - t.b.a.
Tuesday, February 10, 2026
11:00-12:00
HFG 707
Number Theory talk
Franziska Jahnke - TBA
TBA
13:30-14:30
HFG 7.07
AG Seminar (reserved)
Wednesday, February 11, 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, February 17, 2026
13:30-14:30
HFG 7.07
AG Seminar
Carl Tipler (Laboratoire de Mathématiques de Bretagne Atlantique)
Wednesday, February 18, 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, February 24, 2026
13:30-14:30
HFG 7.07
AG Seminar (reserved)
Wednesday, February 25, 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, March 3, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, March 4, 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, March 10, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, March 11, 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, March 17, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, March 18, 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, March 24, 2026
13:30-14:30
HFG 7.07
AG Seminar
15:00-16:00
MIN-2.02
Applied Math Seminar, Prof. Huyên Pham (École Polytechnique) --- Optimal transport for generative diffusion modeling
bridging Schrödinger and Bass
We study the problem of generating a continuous semimartingale that interpolates prescribed initial and terminal distributions. We cast this task as an optimal transport problem on path space that bridges the Schrödinger bridge and the Bass martingale formulations, yielding a diffusion whose drift and volatility are jointly calibrated to data. We derive an analytic characterization of the optimizer—Schrödinger–Bridge–Bass (SBB) diffusion—and show that it admits a representation as a stretched Brownian motion under an explicit change of measure. Building on this structure, we develop a practical computational scheme for SBB that is efficient and scalable, providing a principled framework for generative diffusion modeling. We outline applications to image synthesis and time‑series generation, highlighting SBB as a unifying lens connecting entropic and martingale optimal transport in modern generative modeling.
Wednesday, March 25, 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, March 31, 2026
13:30-14:30
HFG 7.07
AG Seminar
14:15-16:15
Olov Schavemaker
Wednesday, April 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, April 7, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, April 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!
Tuesday, April 14, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, April 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, April 16, 2026
14:00-18:00
Cosmos
Higher Structures along the Lower Rhine XX
tba
Friday, April 17, 2026
10:00-16:00
Cosmos
Higher Structures along the Lower Rhine XX
tba
Tuesday, April 21, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, April 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!
Tuesday, April 28, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, April 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!
Tuesday, May 5, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, May 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!
Tuesday, May 12, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, May 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!
Tuesday, May 19, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, May 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!
Tuesday, May 26, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, May 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!
Tuesday, June 2, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, June 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!
Tuesday, June 9, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, June 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!
Tuesday, June 16, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, June 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!
Tuesday, June 23, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, June 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!
Tuesday, June 30, 2026
13:30-14:30
HFG 7.07
AG Seminar
Wednesday, July 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!
Wednesday, July 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!
Wednesday, July 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!