FPTalks 2026 is Thursday, our biggest yet! 12 talks on the leading edge of floating point and numerics: grading the BLAS, verified math libraries, IEEE P3109, NVFP4 pretraining + more. 8am to noon PT, free on Zoom, ~ 200 registered: fptalks.org/talks/fptalk...

FPTalks 2026 — Thu Aug 6, free, online

Twelve ten-minute talks on the leading edge of floating-point research: Demmel, Zimmermann, Carson, and more. 8am–noon Pacific, free on Zoom, all talks recorded.

fptalks.org

Talk titles are landing for FPTalks 2026! Thu Aug 6, free on Zoom 🗓️ - Demmel: "Grading the BLAS" - Zimmermann: proving CORE-MATH binary64 funcs - Sharp: range analysis of neural surfaces - Carson: mixed precision … and more! fptalks.org/talks/fptalk...

FPTalks 2026 — Thu Aug 6, free, online

Twelve ten-minute talks on the leading edge of floating-point research: Demmel, Zimmermann, Carson, and more. 8am–noon Pacific, free on Zoom, all talks recorded.

fptalks.org

📢 FPTalks 2026 Workshop — August 6, free and online! 12 talks on FP formats, ML numerics, math libraries, mixed-precision HPC, and more. Speakers from NVIDIA, INRIA, UC Berkeley, Graphcore, Cornell, Imperial, and others. Register: fptalks.org/talks/fptalks26.html

📢 FPTalks Seminar this Thursday, July 2 at 9am PT! Tung-Che Chang (Rutgers) on formalizing IEEE P3109 in Lean — verifying the new ML floating-point standard with machine-checked proofs. arxiv.org/abs/2602.15965 fptalks.org/subscribe Aug 6 workshop accepting proposals! ==> fptalks.org

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean

The upcoming IEEE-P3109 standard for low-precision floating-point arithmetic can become the foundation of future machine learning hardware and software. Unlike IEEE-754, P3109 introduces a parametric ...

arxiv.org

📢 FPTalks Seminar, June 4 at 9am PT! Jeffrey Sarnoff (IEEE): "Fast floats for AI: the IEEE P3109 family"; the new standard for 3-bit to 16-bit FP formats designed for ML training and inference. fptalks.org/subscribe github.com/P3109/Public Also, Aug 6 workshop reg now open: fptalks.org/talks

📢 FPTalk Seminar May 7 at 9am PT! Mantas Mikaitis (Leeds) on NVIDIA tensor cores: each GPU generation rounds differently, none follow IEEE 754. Mantas reverse-engineered bit-accurate models for V100 through B200. 📄 arxiv.org/abs/2512.07004 🎤 fptalks.org/nominate fptalks.org/subscribe fptalks.org

Next FPTalks community meeting: Apr 3, 9am PT! Anastasia Isychev (TU Wien) on "Cost of Soundness in Mixed-Precision Tuning" — challenging the assumption that dynamic optimizers always win. Sound tools + regime inference can match or beat them, with formal guarantees. fpbench.org

FPBench

Numerics community meetings and resources

fpbench.org

📢 FPTalks Community Meeting, Mar 5 at 9am PT: Ichitaro Yamazaki (Sandia) on large scale linear solvers, and the reliability headaches that come with new hardware plus techniques like mixed precision, async comms, and sketching. Updates: fpbench.org/subscribe

📢 Last FPTalks of 2025 coming up! 🗓️ Join us Nov 6th at 9:00am PT for Brett Saiki talk on first-class rounding contexts! Updates / discussion: fpbench.org/subscribe Nominate contributions: fpbench.org/nominate

📢 Last FPTalks of 2025 coming up! 🗓️ Join us Nov 6th at 9:00am PT for Brett Saiki talk on first-class rounding contexts! Updates / discussion: fpbench.org/subscribe Nominate contributions: fpbench.org/nominate

📢 Exciting FPTalks coming up! 🗓️ Join us October 2nd at 9:00am PT for Sehyeok Park's talk on RLibm! Updates / discussion: fpbench.org/subscribe Nominate contributions: fpbench.org/nominate

📢 Next FPTalks: Thu, Aug 7 @ 9am PT! Michael Overton (NYU) will spotlight the new cut of Numerical Computing with IEEE FP Arithmetic, updated for modern ML/HPC. Baranowski & Gopalakrishnan (Utah) will demo GPU-FPX + nixnan for FP exception diagnosis. fpbench.org/subscribe fpbench.org/nominate

Next FPTalks: Thu Aug 7 @ 9AM PT Detecting and diagnosing FP exceptions in GPUs and CPUs Baranowski & Gopalakrishnan (Utah) Come learn how we track down NaNs and INFs in closed-source GPU kernels launched from Python, Julia, etc! fpbench.org/subscribe fpbench.org/nominate

FPTalks 2025 is tomorrow! 🗓 Thu 10 Jul, 07:50 – 12:10 PDT 🎙 3 one-hour sessions on new FP formats, compilers, ML stability & more 👥 Speakers from CNRS, Graphcore, ARM, Anthropic, Cornell, Utah… Full schedule + registration: fpbench.org/talks/fptalk...

FPTalks 2025 is next week! Free + online → fpbench.org/talks/fptalk... Join us online July 10 for a half-day of talks on the latest in floating-point research—new formats, tools, correctness, and performance. Speakers from CNRS, Graphcore, ARM, Anthropic, Cornell, Utah, and more!

FPTalks 2025

The leading edge of floating-point research

fpbench.org

🚨 Heads up: FPTalks 2025 in two weeks! 🗓️ July 10 · Online · Free 🔬 Numerics talks on: Hardware, new FP formats, AI/ML, Verification, … 👥 Muller, Fitzgibbon, Johansson, Dotzel, Panchekha, and more! 📢 Register now: fpbench.org/talks/fptalk...

🚨 FPTalks 2025 is coming July 10 🚨 Join online for the latest in floating-point and numerical computing from speakers at CNRS, ARM, Intel, Graphcore, Cornell, Inria, and more. ⚙️ Research, tools, hardware, theory: all in 10-min lightning talks + Q&A! fpbench.org/talks/fptalk...

FPTalks 25 is scheduled for July 10th! Register and submit a talk here: fpbench.org/talks/fptalk...

FPTalks 2025

The leading edge of floating-point research

fpbench.org

FPTalks 25 is scheduled for July 10th Love numerics? Register to attend Want to share your expertise? Submit a proposal for a 10 minute talk fpbench.org/talks/fptalk...

FPTalks 2025

The leading edge of floating-point research

fpbench.org

📢 Exciting FPTalks coming up! 🗓️ Join us May 1st at 9:00am PT for David K. Zhang 's talk on Fast Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic! Subscribe for more: fpbench.org/subscribe Nominate a speaker: fpbench.org/nominate

📢 Exciting FPTalks coming up! 🗓️ Join us May 1st at 9:00am PT for David K. Zhang 's talk on Fast Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic! Subscribe for more: fpbench.org/subscribe Nominate a speaker: fpbench.org/nominate

📢 Exciting FPTalks coming up! 🗓️ Join us April 3rd at 9:00am PT for Artem Yadrov talk on Mixed Precision Error Bounds! Updates / discussion: fpbench.org/subscribe Nominate contributions: fpbench.org/nominate

📢 Exciting FPTalks coming up! 🗓️ Join us April 3rd at 9:00am PT for Artem Yadrov talk on Mixed Precision Error Bounds! Updates / discussion: fpbench.org/subscribe Nominate contributions: fpbench.org/nominate

📢 Exciting FPTalks coming up! 🗓️ Join us THIS Thursday at 9:00am PT for Edoardo Manino's talk on The University of Manchester! Updates / discussion: fpbench.org/subscribe Nominate contributions: fpbench.org/nominate

📢 Exciting FPTalks coming up! 🗓️ Join us March 6th at 9:00am PT for Edoardo Manino 's talk on Floating-Point Neural Network Verification! Updates / discussion: https://fpbench.org/subscribe Nominate contributions: https://fpbench.org/nominate

Happy new year everyone! The first FP talk of this year is going to be "LP meets PL: efficient linear programming using a geometric lens" by Mridul Aanjaneya from Rutgers University. See more fpbench.org/index.html

FPBench

Numerics community meetings and resources

fpbench.org