Here is a suggested schedule for the presentations. Let us know if this does not work for you. Below is also a list of preliminary titles; we might want to try to have some coordination between talks on related topics. We can discuss all this at tomorrow's lecture.
Tuesday December 13
10:30 - 11:00 Gabriel
11:00 - 11:30 Isaac
11:30 - 12:00 Lucas
LUNCH
13:00 - 13:30 Elmo
13:30 - 14:00 Josefien
14:00 - 14:30 Jon-Magnus
Thursday December 15
10:30 - 11:00 Sjoerd
11:00 - 11:30 Ludvig
11:30 - 12:00 Dario
LUNCH
13:00 - 13:30 Jan
13:30 - 14:00 José
14:00 - 14:30 Axel
Gabriel: Model categories
Isaac: Operads and iterated loop spaces
Lucas: Power operations
Elmo: Eoo-algebras and Mandell's theorem
Josefien: A strictly commutative model for the cochain algebra of a space
Jon-Magnus: Topological stacks
Sjoerd: Étale homotopy (coordinated with Ludvig)
Ludvig: Étale homotopy (coordinated with Sjoerd)
Dario: Morse theory and the Andreotti-Frankel theorem
Jan: Formality of Kähler manifolds
José: Formality, coformality, and Koszul algebras
Axel: Synthetic homotopy theory in homotopy type theory