Sam van Gool
  • About
  • Research
  • Teaching
  • Various

2022_08_18_summer

August 18, 2022

2022

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.