* Dates within the next 7 days are marked by a star.
Prof. Iván Blanco Chacón, Antti Haavikko (U. Alcalá), and Matilde Costa (U. Barcelona)
Summer School on Heegner Points and the Gross-Zagier Formula
* Today * Thursday 04 June 2026, 10:00, U5 (U147)
Further information
The summer school will take place June 1-5, click 'further info' above for more information and schedule. Registration is closed, but everyone is welcome to join the lectures. (Ideal) pre-requisites: a course on algebraic number theory and some basics on elliptic curves. Organizers: Iván Blanco, Matilde Costa, Antti Haavikko, Camilla Hollanti, and Neehar Verma.
ANTA Group & U. Alcála
Prof. Iván Blanco Chacón, Antti Haavikko (U. Alcalá), and Matilde Costa (U. Barcelona)
Summer School on Heegner Points and the Gross-Zagier Formula
* Friday 05 June 2026, 10:00, U5 (U147)
Further information
The summer school will take place June 1-5, click 'further info' above for more information and schedule. Registration is closed, but everyone is welcome to join the lectures. (Ideal) pre-requisites: a course on algebraic number theory and some basics on elliptic curves. Organizers: Iván Blanco, Matilde Costa, Antti Haavikko, Camilla Hollanti, and Neehar Verma.
ANTA Group & U. Alcála
Teemu Lundström
Combinatorics of poset polytopes (doctoral defense)
* Friday 05 June 2026, 12:00, M1 (M232)
Further information
Custos: Kaie Kubjas.
Opponent: Raman Sanyal, Goethe-Universität Frankfurt, Germany.
Jesse Reimann (TU Delft)
Formal methods from analysis to autonomous driving
* Monday 08 June 2026, 14:15, Y229a
In the first part, I will be discussing my past formalisation projects in Lean, namely the Riesz representation theorem and supervising a BSc project on Schwartz functions in Lean. In the second part, I will be talking about how theorem proving and formal methods can be used towards safety guarantees for automated driving vehicles, and discuss common challenges in formalising mathematics and real-world scenarios.
Ville Uotila (University of Helsinki)
TBA
* Monday 08 June 2026, 14:15, M3 (M234)
AGC Seminar
Rongvoram Nivesvivat (New York University Abu Dhabi)
Bulk two-point functions in loop models
* Tuesday 09 June 2026, 10:15, M3 (M234)
Using techniques in conformal bootstrap, we propose analytical expressions for a large class of two-point functions of bulk fields in critical loop models defined on the upper-half plane. Our results include the two-point connectivities in the Fortuin--Kasteleyn random cluster model with both free and wired boundary conditions (BC). To establish the link between the lattice and continuum versions of these models, we compute universal ratios of amplitudes for the two-point connectivities and find excellent agreement with transfer-matrix computations in the lattice model.
Jesse Reimann (Technische Universiteit Delft)
Schur multipliers of divided differences and their boundedness
* Wednesday 10 June 2026, 10:15, M3 (M234)
Analysis seminar / Hytönen
Julia Sohkanen (Sanders), University of Helsinki
Integrating Schrödinger Half-Bridges
Thursday 11 June 2026, 16:15, M240
Schrödinger half bridges minimise a cost functional consisting of a running cost and a terminal cost. The initial particle distribution is fixed, and the terminal cost penalises distance from an assigned reference distribution. Modelling this set-up in physically realistic dynamics, such as those in nanoscale information processing devices, is highly non-linear and generally unsolvable with conventional numerical methods.
Inspired by generative diffusion models, we use a neural network to parametrise the drift and perform gradient descent over the cost functional. By using a Monte Carlo method to estimate the distance from the reference distribution, we eliminate the need for any discretisation in space, which makes our method generalisable to higher dimensions. Our approach means that we can obtain solutions for parameter values even in regimes where semi-analytic results are no longer valid, which also includes weighting the cost functional such that we approach a full bridge (where the final particle distribution is fixed). We share proof-of-concept results that are ready for scaling up.
Dissertation
Rahinatou Y. Njah Nchiwo
Algebraic Number Theory and Lattice-Based Cryptography: Equivalence and Cryptanalysis of Structured LWE Variants (PhD Defence)
Friday 12 June 2026, 12:00, M1 (M232)
Further information
Supervisor and custos: Camilla Hollanti
PhD Defence
Matematiikan kandiseminaari (Bachelor thesis seminar in Math.)
Monday 15 June 2026, 09:00, TBA
Further information
Ohjelma: https://mycourses.aalto.fi/course/view.php?id=34597#module-908887
Anthony Mäkelä (University of Gothenburg)
TBA
Monday 15 June 2026, 14:15, M3 (M234)
AGC Seminar
Hermanni Huhtamäki (Aalto)
Master's thesis presentation: TBA
Wednesday 17 June 2026, 14:15, M3 (M234)
AGC Seminar
Prof. Timothy Trudgian (UNSW Canberra)
TBA
Thursday 09 July 2026, 15:15, M3 (M234)
ANTA Seminar / Hollanti et al.
Prof. Guillermo Mantilla-Soler (U. Nacional de Colombia)
TBA
Tuesday 25 August 2026, 15:15, M3 (M234)
ANTA Seminar / Hollanti et al.
Lorenzo Zacchini (Aalto University)
TBA (midterm review)
Wednesday 23 September 2026, 10:15, M3 (M234)
Analysis seminar / Hytönen
Show the events of the past year
Page content by: webmaster-math [at] list [dot] aalto [dot] fi