Articles tagged with "my-talks":
- 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!