A Strong Publication Harvest for Summer 2026: SYNACs, RV, ICFEM
We are delighted to announce three papers accepted at major international conferences this summer.
FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection by Julien Bortolussi, Dorra Ben Khalifa, and Pierre-Loïc Garoche Accepted at the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNACs 2026). The paper will be presented in Timișoara, Romania, 14–17 September 2026.
Online Monitoring and Verification of Dynamic System Performance Properties in \({MTL}_{p}^{f}\) by Elia Ghisellini and Pierre-Loïc Garoche Accepted at the 26th International Conference on Runtime Verification (RV 2026). The conference will be held at Queen’s University in Kingston, Canada, 6–9 October 2026.
Formally Verifying Convergence of the Gradient Descent Method for Quadratic Convex Functions at Code-Level by Umut Ufku Kurnaz, Pierre-Loïc Garoche, Dany Abou Jaoude, and Pedro Simplicio Accepted at the 27th International Conference on Formal Engineering Methods (ICFEM 2026). The paper will be presented in Southampton, UK, 17–20 November 2026.