Math Calendar

Tuesday, May 12, 2026
13:30-14:30
HFG 7.07
AG Seminar
16:00-17:00
HFG 7.07
MI talk
Linda Cook - Coloring graphs and Cliques
A (proper) $k$-coloring of a graph $G$ is a function assigning a \say{color} chosen from $\{1,2, \dots, k\}$ to each of the vertices of the graph with the property that no two adjacent vertices receive the same color. 
The chromatic number $\chi(G)$ is the minimum $k$ for which there exists a  $k$-coloring of $G$.
Testing $k$-colorability is a classic NP-Hard problem and graph coloring lies at the center of modern graph theory.

The \say{dual parameter} to the chromatic number is the clique number $\omega$.
A \emph{clique} is a set of pairwise adjacent vertices in a graph.
It's easy to see that all vertices in a clique must all receive different colors in any proper coloring.
The \emph{clique number} $\omega(G)$ is the maximum size of a clique in $G$.
Trivially, $\chi(G) \geq \omega(G)$.
Unfortunately, we cannot in general obtain any upper bound on the chromatic number in terms of the clique number. 
There are classical constructions for graphs of triangle-free graphs with arbitrarily large chromatic number.
Moreover, it is s a well-known result of Erd\H{o}s that for every $g \geq 3$ there exist graphs with arbitrarily large chromatic number and with no cycle of length less than $g$.
Inspired by perfect graphs, the area of \chi-boundedness seeks to understand what structural conditions admit such a bound.
This talk will introduce the general area of \chi-boundedness and will survey some of the speakers work in the area.

No prior knowledge of graph theory will be assumed.
Thursday, May 14, 2026
13:00-14:30
HFG 7.07
Wallcrossing Techniques in Algebraic Geometry seminar
Virtual Classes of Hilbert Schemes of Points, Tomás
Further details and meeting link: https://www.uu.nl/staff/TManopulo/Extra2
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!
Monday, May 18, 2026
15:00-16:30
HFG 7.07
HoM colloquium talk
Nicolas Michel
Tuesday, May 19, 2026
13:30-14:30
HFG 7.07
AG Seminar
Manoy Trip (University of Groningen)
Thursday, May 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!
Friday, May 22, 2026
10:00-12:30
Ruppert-Rood
Dutch Differential Topology and Geometry seminar
Klaus Niederkruger - Fillability of Legendrians by exact Lagrangians
Contact topology is often referred to as the odd-dimensional counterpart of symplectic topology. The most natural link between the two is considering contact manifolds as the boundaries of symplectic manifolds. In this context, one might wonder whether a given contact manifold is the boundary of a symplectic manifold and, if so, what information about the symplectic manifold can be extracted from the contact manifold.

Currently, most questions of this type are studied using sophisticated Floer homologies. In the first part of my presentation, I will explain the initial methods from the '80s that were much more geometric. I want to sketch how to prove two classical results: the standard contact sphere can only bound a symplectic ball and an overtwisted contact structure cannot bound any symplectic manifold.

In the second half of my presentation, I will discuss submanifolds. The most interesting submanifold of a symplectic manifold is a Lagrangian; the most interesting submanifold of a contact manifold is a Legendrian. One can then study whether a Legendrian lying in a contact boundary of a symplectic manifold is itself a boundary of a Lagrangian. Many results are known, but they also rely on advanced Floer homology. In the joint work with Casim Abbas that I want to talk about, we generalize the initial geometric proofs to reproduce the classical Legendrian analogues of the statements above.

Website of the seminar: https://www.few.vu.nl/~trt800/ddtg.html
Monday, May 25, 2026
15:00-17:00
7.07 HFG
Category theory seminar
TBA - TBA
Tuesday, May 26, 2026
12:15-13:15
Academiegebouw
PhD Defense David Hokken
13:30-14:30
HFG 7.07
AG Seminar
Thursday, May 28, 2026
12:00-13:00
Hfg 707
Math-Phys Thursday with Max Willems
13:00-14:30
HFG 7.07
Wallcrossing Techniques in Algebraic Geometry seminar
Examples Session, Pim & Tomás
Further details and meeting link: https://www.uu.nl/staff/TManopulo/Extra2
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, May 29, 2026
11:00-13:00
HFG 707
Friday Fish
Ashkan Sadat Kyaee - TBA
TBA
15:00-17:00
HFG 707
Friday Fish
Lucas Dahinden - TBA
TBA
Tuesday, June 2, 2026
13:30-14:30
HFG 7.07
AG Seminar
Sièna van Schaick (Radboud University)
16:00-17:00
HFG 6.11
MI talk
Francesca Pratali
TBA
Thursday, June 4, 2026
13:00-14:00
HFG611
Applied Math Seminar
Dries Vermeulen (Maastricht University)
Titel: TBA

host: Willemien
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, June 5, 2026
15:00-17:00
HFG 707
Friday Fish
Peter Hochs (RU) - TBA
TBA
Monday, June 8, 2026
15:00-17:00
7.07 HFG
Category theory seminar
TBA - TBA
Tuesday, June 9, 2026
13:30-14:30
HFG 7.07
AG Seminar
Arkadij Bojko (SIMIS)
Thursday, June 11, 2026
12:00-13:00
Hfg 707
Math-Phys Thursday
13:00-14:30
HFG 7.07
Wallcrossing Techniques in Algebraic Geometry seminar
The Vertex Algebra in equivariant geometry, Arkadij
Further details and meeting link: https://www.uu.nl/staff/TManopulo/Extra2
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!
Monday, June 15, 2026
12:00-13:00
HFG library 7th floor
BYOL Mathematical Institute
Tuesday, June 16, 2026
13:30-14:30
HFG 7.07
AG Seminar
Ander Arriola Corpion (University of Groningen)
Thursday, June 18, 2026
13:00-14:00
HFG 611
Applied Math Seminar -- David Warne (Queensland University of Technology, Brisbane, Australia), Efficient parameter inference for expensive stochastic models using fast approximations and transformations

Stochastic processes are used to model complex systems in almost all fields of science. For scientific inquiry, model calibration and statistical inference is performed to validate theory, estimate parameters, and make predictions. However, statistical inference for stochastic models is challenging since the likelihood function is intractable in realistic settings. Furthermore, standard likelihood-free or simulation-based inference methods are not feasible when realisations of the stochastic model are computationally expensive. As a result, it is common practice to apply model approximations despite the possibility of substantial inaccuracy in the resulting statistical analysis. In this talk, I will present an overview of recent and current work that aims to exploit the computational benefit of approximations while correcting for the bias using transformations. Specifically, I will discuss moment-matching transforms, Bayesian score calibration, and generalised likelihood profiles. Using practical examples inspired by inferences tasks in biology,  I will demonstrate how these methods enable computationally efficient and accurate inference.


Host: Chiheb
13:00-14:30
HFG 7.07
Wallcrossing Techniques in Algebraic Geometry seminar
Examples Session, Arkadij
Further details and meeting link: https://www.uu.nl/staff/TManopulo/Extra2
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, June 19, 2026
15:00-17:00
HFG 707
Friday Fish
Michael Jung (VU) - TBA
TBA
Monday, June 22, 2026
15:00-17:00
7.07 HFG
Category theory seminar
TBA - TBA
Tuesday, June 23, 2026
13:30-14:30
HFG 7.07
AG Seminar
Thursday, June 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, June 30, 2026
13:30-14:30
HFG 7.07
AG Seminar
Thursday, July 2, 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 7, 2026
14:15-15:15
Academiegebouw
PhD defense Sebastián Carrillo Santana
Thursday, July 9, 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 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!
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!
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!
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!