2022_07_09_conferences

A month 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 next week I will be at Lean for the curious mathematician 2022.