Math/Music. They/Them.

- Oct 2020 Talk - Model Theory and You
- Nov 2020 Talk - Programming and Category Theory
- Dec 2020 Talk - Syntax and Semantics (Trans Math Day 2020)
- Jan 2021 Talk - Why Think -- Letting Computers do Math for Us
- Mar 2021 Talk - Categories, Modalities, and Type Theories: Oh My
- Mar 2021 Talk - Problem Solving Without Ansibles -- An Introduction to Communication Complexity
- Oct 2021 Talk - Top $5$ Undecidable Problems -- Number $4$ will shock you!
- Nov 2021 Talk - Bring Out the Crayons -- A Survey of Descriptive Combinatorics
- Dec 2021 Talk - The Univalence Axiom
- Dec 2021 Talk - The Weil Conjectures and Topos Theory
- Feb 2022 Talk (?) -- Universal Enveloping Algebras
- Feb 2022 Talk -- Let's Solve a Simple Analysis Problem. Together.
- Mar 2022 Talk (?) -- Why Care about Lie Algebras?

© Chris Grossack, 2020