2022_08_18_summer
A summer filled with interesting and inspiring meetings: first TACL: Topology, Algebra, and Categories in Logic, then Highlights and the ICALP workshop “Structure meets power” (my slides), and then Lean for the curious mathematician 2022.