Kick-off Meeting (March 26-27, 2026)

Location: CEA Saclay, centre d’intégration Nano-Innov, 2bd Thomas Gobert, 91120 Palaiseau

Thursday, March 26

  • 14:00-14:30: Numerical errors in CKKS homomorphic encryption algorithm (Mohamed Jiddou, UVSQ) [Slides]
  • 14:30-15:00: Verrou: GPU instrumentation (Estelle Oliveira, EDF/CEA) [Slides]
  • 15:00-15:30: Verrou: backtrace delta-debug (Bruno Lathuilière, EDF) [Slides]
  • 16:00-16:30: Semi-Formal Accuracy Analysis of an Industrial Path Computation Algorithm (Franck Vedrine, CEA)
  • 16:30-17:00: Optimization of the representation of results in interval arithmetic (Yizhi Yang, SU)

Friday, March 27

  • 09:30-10:00: Reducing the delta-debug complexity and parallel execution (Erwan Tchaleu-Ngankeu, ANEO, EDF)
  • 10:00-10:30: Benchmarking Large Language Models on Floating-Point Error Classification (Lisa Taldir, UPVD) [Slides]
  • 10:30-11:30: WP review & projection
  • 11:30-12:30: Workshops (Group work)
  • 14:00-16:00: Workshops (continued)