[News] AS&P - “Abstraction, Structures and Proofs” - S. Shapiro, February 24