Seminar, workshops and conferences [seminar]

July, 2025: CMI-HIMR summer school on formalizing class field theory, Oxford, UK
Project: Tate cohomology and local fields

October, 2025: Conference Higher Invariants: interactions between arithmetic geometry and global analysis, Regensburg, Germany

Winter term, 2025: GAUS-AG: Higher algebra, Universität Heidelberg
Title: Descent of $\cal{E}_{\infty}$-rings