Italicized entries are provisional topics; final titles to come.
Welcome
Session 1
Correctly rounded functions: from pen-and-paper to formal proof
Wonyeol Lee (POSTECH) & Paul Zimmermann (INRIA Nancy)
New results on FPANs and the SELTZO abstraction
David K Zhang, Cerebras Systems
Golden models for numerical datapath
Artem Yadrov, University of Utah
Correctly rounded dot products
Sehyeok Park, Rutgers University
Break
Session 2
IEEE P3109 update
Andrew Fitzgibbon, Graphcore
NVFP4 pre-training
Paul Gibbons, NVIDIA
Direction-Preserving Number Representations
Bardia Zadeh, Imperial College London
Range Analysis of Neural Surfaces
Nick Sharp, NVIDIA
Break
Session 3
Grading the BLAS
Jim Demmel, UC Berkeley
Mixed-precision numerical algorithms
Erin Carson, Charles University
Adjoints for Roundoff Sensitivity Analysis
David Bindel, Cornell
Title to be announced
William S. Moses, UIUC
Conclusion
The event is free and open to all. For more information, please see the FPTalks community and check out past recordings from:
The FPTalks Workshop Series is supported in part by the National Science Foundation Division of Computer and Network Systems under award CNS-2346394.