FPTalks 2026 — Thu Aug 6, free, online

# FPTalks 2026 — Thu Aug 6, free, online Source: [https://fptalks.org/talks/fptalks26.html](https://fptalks.org/talks/fptalks26.html) *Italicized entries are provisional topics; final titles to come\.* ## 7:50–8:00 PDTWelcome ## 8:00–9:00 PDTSession 1 ### Correctly rounded functions: from pen\-and\-paper to formal proof [Wonyeol Lee](https://wonyeol.github.io/)\(POSTECH\) &[Paul Zimmermann](https://members.loria.fr/PZimmermann/)\(INRIA Nancy\) - [CORE\-MATH](https://core-math.gitlabpages.inria.fr/) - [Example proof: sinh](https://core-math.gitlabpages.inria.fr/sinh.pdf) ### *New results on FPANs and the SELTZO abstraction* [David K Zhang](https://www.dkzhang.com/), Cerebras Systems ### Golden models for numerical datapath Artem Yadrov, University of Utah - [Repo](https://github.com/pl-utah/zolotone) ### *Correctly rounded dot products* Sehyeok Park, Rutgers University ## 9:00–9:30 PDTBreak ## 9:30–10:30 PDTSession 2 ### *IEEE P3109 update* [Andrew Fitzgibbon](https://www.fitzgibbon.ie/), Graphcore ### *NVFP4 pre\-training* Paul Gibbons, NVIDIA ### Direction\-Preserving Number Representations [Bardia Zadeh](https://bardia01.github.io/), Imperial College London - [Paper](https://arxiv.org/abs/2605.07662) - [Repo](https://github.com/bardia01/Direction-Preserving-Number-Representations) - [Demo](https://bardia01.github.io/directional_coverage_explorer/) ### Range Analysis of Neural Surfaces [Nick Sharp](https://nmwsharp.com/), NVIDIA - [Project page](https://nmwsharp.com/research/interval-implicits/) ## 10:30–11:00 PDTBreak ## 11:00–12:00 PDTSession 3 ### Grading the BLAS [Jim Demmel](https://people.eecs.berkeley.edu/~demmel/), UC Berkeley ### *Mixed\-precision numerical algorithms* [Erin Carson](https://www.karlin.mff.cuni.cz/~carson/), Charles University ### Adjoints for Roundoff Sensitivity Analysis [David Bindel](https://www.cs.cornell.edu/~bindel/), Cornell ### *Title to be announced* [William S\. Moses](https://wsmoses.com/), UIUC ## 12:00–12:10 PDTConclusion