Keynote @ ITP 2026

Dec 30, 2025 · 1 min read

I will give the keynote talk “Taming Floating-Point Rounding Errors with Proofs” at (ITP 2025).

Laura Titolo
Authors
Laura Titolo
Principal Research Scientist