Low-Memory Numerical Certification
ICMS26, Waterloo (July 20-23, 2026)
Dietmaier Optimization
SIAM AN26, Cleveland (July 6-10, 2026)
Computing Complements of Real Hypersurfaces Using Pseudo-witness SetsÂ
AMS Fall Central Meeting, St. Louis (October 18th, 2025)