Talks
- EGRAPHS 2024 - E-graphs and Automated Reasoning bad video better video abstract post
- EGRAPHS 2022 - Logging an Egg: Datalog on E-graphs https://www.philipzucker.com/egglog0/ post
- Formal Methods for the Informal Engineer - The Z3 Theorem Prover video agenda post
- JuliaCon 21 - Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl video
- CyberCat seminar - Executing Categories video