Seminars
Mathematical seminars and Mathematical Colloquium at the University of Iceland 🇮🇸.
The Mathematical Colloquium is usually on Thursday, 13:20 - 14:50.
If you want to speak or suggest a speaker, get in touch.
Forthcoming
15-5-2025 in room 157, VR-IIJoseph Stanley Smith (RU)
Interactive theorem provers and mathematics.
Interactive theorem provers are gaining popularity and becoming increasingly powerful. In this talk, I will introduce what interactive theorem provers are and explain how they are being used in mathematics. I will also discuss the future of interactive theorem provers and the potential role artificial intelligence may play in their story.
Past
10-4-2025 in room 157, VR-IIDaniel Amankwah - HÍ
Scaling Limits of Random Series-Parallel Maps.
A finite graph embedded in the plane is called a series-parallel map if it can be constructed from a tree by iteratively subdividing and doubling edges. In this talk, we investigate the scaling limits of weighted random two-connected series-parallel maps with $n$ edges. Under suitable integrability conditions on the weights, we show that when distances are rescaled by a factor of $n^{-1/2}$, these maps converge in the Gromov–Hausdorff sense to a constant multiple of Aldous’ continuum random tree (CRT). The proof relies on a bijection between certain families of trees and series-parallel maps, allowing us to analyze geodesics using a Markov chain argument introduced by Curien, Haas, and Kortchemski (2015).
3-4-2025, 13:20 in room 157, VR-II
Eggert Briem - HÍ
Homomorphisms and isomorphisms of real commutative Banach algebras into C(X).
We give conditions, either on the dual space of an algebra A or on the norm of the algebra, which garantee the existence of homomorphism or isomorphism into C(X).
20-3-2025 in room 158, VR-II
Pierre-Louis Curien
General coherence theorems on CW-complexes and polyhedral complexes.