categories
tags

The week of 22th June I will be on a WG on formally verified computer algebra at FMPSI'26 in Paris

June 10, 2026

Here are the slides and abstract.

Next » Our paper 'Functional correctness of an optimized modular inversion algorithm' j.w.w Assia Mahboubi, Guillaume Melquiond, and Pierre-Yves Strub was accepted at ITP'26 [**(preprint)**](https://hal.science/hal-05554365/)

© 2026 Tomás Vallejos Parada · Powered by Hugo & PaperMod