A meeting place
for mathematics.

Alberti representations, the WALA conjecture and applications

Andrea Merlo · Universidad del País Vasco (UPV/EHU)

Minicourse · Mon 15:00–16:40, Tue and Thu 11:15–12:55 · CRM, Bellaterra

Six lectures over two weeks, the first three this week. The minicourse is part of the Intensive Research Programme on Analysis of Free Boundary Problems.

Formalizing Mathematics in Lean with AI

Michail Karatarakis · Radboud University Nijmegen & Axiomatic AI

BGSMath course · 15:00–17:00 · Hybrid

In Barcelona · Room iC (ground floor), Facultat de Matemàtiques i Informàtica, Universitat de Barcelona

An introduction to Lean and Mathlib, and to the AI tools that now write much of the code, with time to work on a theorem of your own. Four two-hour sessions, the first two this week.

The Denjoy–Wolff Theorem in simply connected domains

Anna Miriam Benini · University of Parma

BGSMath course · CRM Chair of Excellence · 12:00–14:00 · Hybrid

In Barcelona · Room iC (ground floor), Facultat de Matemàtiques i Informàtica, Universitat de Barcelona

The first of three lectures, on the simply connected domains where the Denjoy–Wolff Theorem holds and a geometric characterisation of them through the behaviour of horospheres near the boundary. The next two follow on 23 and 27 November.

Traveling salesman metrics and embeddings into Banach spaces

Emanuele Caputo · University of Trento

Weekly Seminars on Free Boundary Problems · 12:00 · CRM Auditorium

The first of the weekly seminars that follow the two intensive weeks of the IRP. Caputo proves that the planar lamplighter metric admits no bi-Lipschitz embedding into L¹, and its square root none into Hilbert space.