In the 24-25 winter semester, I am organizing a seminar on the six functor formalism and on examples of this, following Scholze´s exposition of Lucas Mann´s work. We meet every monday at 18:00 in the Bonn math zentrum, although the room has not been fixed yet. Everybody is welcome to attend. The talks have already been given, but in case you have an idea for a new talk in january/february about neighbouring topics, please let me know!

Date Speaker Topic (approximate)
7/10 Maximilian Hauck Chapter 1: introduction
14/10 Zhen Huang Chapter 2: Six-Functor Formalisms 
21/10 Yiming Tang Chapter 3: Symmetric monoidal categories
28/10 Fabio Chapter 4: Construction of the six functor formalism
4/11 David Chapter 5: Poincaré duality
11/11 Saverio Caleca Chapter 6: Complements to the abstract formalism
18/11 Saverio Caleca Appendix  to chapter 6: smooth or proper descent
25/11 Alexander Chapter 7: Topological spaces
2/12 Chenji Fu Appendix to chapter 7: etalé sheaves
9/12 David Chapter 8: Coherent sheaves
16/12 Maximilian Hauck  Chapter 9: Solid modules
January Then we see  

Main sources: 

Scholze´s notes

Lucas Man's Phd thesis

Other sources:

Zavyalov's paper on Poincaré duality in an abstract six functor formalism

Felix Lotter's master's thesis

Lecture on Six functors for analytic rings

Lecture on Six functors for analytic stacks