The artinian conjecture (following Djament, Putman, Sam, and Snowden)
  This note provides a self-contained exposition of the proof of the artinian conjecture, following closely Djament's Bourbaki lecture. The original proof is due to Putman, Sam, and Snowden. 
Henning Krause
math.RT math.AT