Home

Program of Conference on "New Perspectives on Stable Homotopy and Beyond"

For the abstracts click on the titles or see the list of abstracts.

Mon, 07 Sep 2026

09:00 - 10:00
MPIM Lecture Hall
Registration
10:00 - 11:00
MPIM Lecture Hall
Emily Riehl
Recent highlights in computer formalized mathematics beyond Lean
11:00 - 11:30
MPIM Tea Room
Coffee break
11:30 - 12:30
MPIM Lecture Hall
Jordan Williamson
Duality in tt-geometry via proxy-smallness
12:40 - 13:00
MPIM Lecture Hall
Ningchuan Zhang
On the rationalization of $\mathrm{K}(n)$-local determinant sphere
13:00 - 15:00
Lunch break
15:00 - 15:20
MPIM Lecture Hall
Doron Grossman-Naples
Isogenies and Hecke Operators on Elliptic Cohomology
15:30 - 15:50
MPIM Lecture Hall
Akashdwip Biswas
Higher Real K-theory cohomology of Complex Projective spaces
16:00 - 16:30
MPIM Tea Room
Coffee break
16:30 - 17:30
MPIM Lecture Hall
Gong show

Tue, 08 Sep 2026

10:00 - 11:00
MPIM Lecture Hall
Stefan Schwede
Equivariant K-theory as a global localization
11:00 - 11:30
MPIM Tea Room
Coffee break
11:30 - 12:30
MPIM Lecture Hall
Mario Carneiro
What Is Your Proof Assistant Actually Checking?
12:40 - 13:00
MPIM Lecture Hall
Noah Wisdom
Equivariant formal group laws and p-typicality
13:00 - 13:10
MPIM Lecture Hall
Group Photo
13:10 - 15:00
MPIM Lecture Hall
Lunch break
15:00 - 15:20
MPIM Lecture Hall
Phil Pützstück
Reflexivity and Condensed Anderson Duality
15:30 - 15:50
MPIM Lecture Hall
Rudradip Biswas
Completions of triangulated categories without models
16:00 - 16:30
MPIM Tea Room
Coffee break
16:30 - 17:30
MPIM Lecture Hall
Natàlia Castellana
Local Bousfield classes
19:00 - 21:00
Dinner with subsequent discussion round

Wed, 09 Sep 2026

10:00 - 11:00
MPIM Lecture Hall
John Greenlees
Rational G-spectra with Weyl-finite isotropy
11:00 - 11:30
MPIM Tea Room
Coffee break
11:30 - 12:30
MPIM Lecture Hall
Maria Ines de Frutos-Fernandez
The Carleson project: a collaborative formalization
14:00 - 17:00
Voluntary group hike (details tba)

Thu, 10 Sep 2026

10:00 - 11:00
MPIM Lecture Hall
Fernando Muro
Geometry of singularities and homotopy theory
11:00 - 11:30
MPIM Tea Room
Coffee break
11:30 - 12:30
MPIM Lecture Hall
Clover May
Parametrized cohomology of the classifying space for $\mathbb{Z}/2$-line bundles
12:40 - 13:00
MPIM Lecture Hall
Preston Cranford
Bökstedt periodicity and the even filtration
13:00 - 15:00
Lunch break
15:00 - 15:20
MPIM Lecture Hall
Qi Zhu
Structured Real Orientations
15:30 - 15:50
MPIM Lecture Hall
Abhinandan Das
Equivariant Twisted R-algebras via Thom Spectra
16:00 - 16:30
MPIM Tea Room
Coffee break
16:30 - 17:30
MPIM Lecture Hall
Lennart Meier
From cubical structures to the string orientation

Fri, 11 Sep 2026

10:00 - 11:00
MPIM Lecture Hall
Birgit Richter
Galois and separable extensions of Tambara functors
11:00 - 11:30
MPIM Tea Room
Coffee break
11:30 - 12:30
MPIM Lecture Hall
Paul Goerss
Chromatic Homotopy Theory: Why do we keep talking about it?

 

... back to parent event

LaTeX version

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A