19.10.2026, 16:00 Uhr  –  Raum 0.17, Haus 9
Forschungsseminar KI und Mathematik

General Meeting AI in Mathematics

Christoph Stephan (Potsdam)

At this first meeting, we will outline our plans for the AI Research Seminar, including the formalization of the Atiyah–Singer Index Theorem in Lean, technical support and training for colleagues, and... 

19.10.2026, 14:00 Uhr  –  Raum 2.22, Haus 9, Campus Golm
Habilitationskolloquium

On Geometric Analysis on Manifolds and Graphs with Unbounded Geometry

Christian Rose

Gaussian Upper Heat Kernel Bounds on Graphs with Unbounded Geometry

Einstein observed that particles move in a medium the same way as heat conducts. Heat conduction is modelled by the heat equation in... 

20.10.2026, 12.15  –  Campus Golm, Building 9, Room 1.22
Forschungsseminar Angewandte Geometrie und Topologie

General Meeting, Research seminar Applied Geometry and Topology

Francesca Bertoglio and Toky Andriamanalina

This meeting will be an opportunity for us, the organisers, to introduce ourselves and talk you through what to expect in the seminar series during the semester, and an opportunity for you to ask... 

22.10.2026, 16:15 Uhr  –  Raum 0.17, Haus 9
Forschungsseminar Differentialgeometrie

Space of Negative Scalar Curvature Metrics on Manifolds with Boundary

Swati Govinda Rajan (Potsdam)

A fundamental area of research in Riemannian geometry is to determine the homotopy type of the space of metrics inducing negative scalar curvature. In his 1992 paper, Lohkamp proved that the space of... 

26.10.2026, 16:00 Uhr  –  Raum 0.17, Haus 9
Forschungsseminar KI und Mathematik

Formalizing the Atiyah–Singer Index Theorem: Getting Started

Christoph Stephan

We will discuss which version of the Atiyah–Singer Index Theorem to formalize, suitable literature, and how to set up a GitHub repository with a Lean Blueprint. We will also review existing...