Schedule

All times are in Barcelona's local time (CET / UTC+1)

09:00 - 09:30 [recording]

Welcome to participants

09:30 - 10:45 [recording] [slides]

Varieties of trees
Ieke Moerdijk

11:00 - 12:15 [recording]

Operads, properads, and more
Martin Markl

15:30 - 16:45 [recording]

Minimal models for graph-related operadic algebras
Jovana Obradović

17:00 - 18:15 [recording]

The fundamental group of a simplicial cocommutative coalgebra
Manuel Rivera

09:30 - 10:45 [recording] [slides]

Model category structures and spectral sequences
Sarah Whitehouse

11:00 - 12:15 [recording]

Rational homotopy theory and higher algebra
Urtzi Buijs

15:30 - 16:45 [recording] [slides]

Higher Segal spaces via higher excision
Tashi Walde

17:00 - 18:15 [recording]

The Waldhausen S-construction and the symplectic geometry of surfaces and their symmetric products
Gustavo Jasso

09:30 - 10:45 [recording]

Chromatic localizations of algebraic K-theory
Lennart Meier

11:00 - 12:15 [recording]

Polynomial functors and K-theory
Thomas Nikolaus

12:30 - 13:45 [recording] [slides]

Support theory for triangulated categories in algebra and topology
Drew Heard

09:30 - 10:45 [recording & slides]

A categorified Dold–Kan correspondence
Tobias Dyckerhoff

16:00 - 17:15 [recording]

Generalizing Quillen's Theorem A
Walker Stern

17:30 - 18:45 [recording]

Marked colimits and higher cofinality
Fernando Abellán García

09:30 - 10:45 [recording]

Classification of module spectra and Franke's algebraicity conjecture
Irakli Patchkoria

11:00 - 12:15 [recording]

Local Gorenstein duality
Natàlia Castellana

15:15 - 16:30 [recording] [slides]

Hermitian K-theory of stable ∞-categories
Emanuele Dotto

16:45 - 18:00 [recording] [slides]

Approaching higher limits from homotopy theory
Guillermo Carrión Santiago

16:15 - 17:30 [recording] [slides]

Progress in operad-like theories with a focus on Feynman categories

Ralph Kaufmann

17:45 - 19:00 [recording]

Tangent complexes and the Diamond Lemma: homotopical methods for term rewriting
Pedro Tamaroff

16:15 - 17:30 [recording]

Goodwillie towers of ∞-categories and desuspension
Daniel Fuentes-Keuthan

17:45 - 19:00 [recording]

Traces from K-theory and zeta functions
Kate Ponto

19:15 - 20:30 [recording]

Real categorical representation theory in topology and physics
Matt Young

16:15 - 17:30 [recording]

Equivariant factorization homology and tools for studying it
Inbar Klang

17:45 - 19:00 [recording]

Broken lines and Floer theory over spectra
Hiro Lee Tanaka

19:15 - 20:30 [recording]

2-categorical opfibrations, Quillen's Theorem B, and S^–1S
Angélica Osorno

09:30 - 10:45 [recording] [slides]

Grothendieck homotopy theory and polynomial monads
Michael Batanin

11:00 - 12:15 [recording]

Exploring (∞, n)-categories through n-complicial sets – Part 1
Martina Rovelli

12:30 - 13:45 [recording]

Exploring (∞, n)-categories through n-complicial sets – Part 2
Viktoriya Ozornova