Italicized entries are provisional topics; final titles to come.

7:50–8:00 PDT Welcome

8:00–9:00 PDT 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

9:00–9:30 PDT Break

9:30–10:30 PDT 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

10:30–11:00 PDT Break

11:00–12:00 PDT 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

12:00–12:10 PDT Conclusion