Colloquium Wednesday, April 23, 2025 - 15:30 704 Thackeray Hall Speaker Information Jeremy Avigad Carnegie Mellon University Abstract or Additional Information More information coming soon!