Talks

• Formal Methods at OCamlPro: SMT Solving with Alt-Ergo and Symbolic Execution with Owi
  Industry Day @ ETAPS 2026, Turin, Italy — April 15, 2026.
  Event page

• Theory of sequences tailored for program verification
  PhD Defense, CEA-List, Palaiseau, France — October 15, 2025.
  Announcement Defense Page

• Different approaches to represent and reason over n-Indexed Sequences in SMT
  VASSAL Workshop @ RV 2026, Graz, Austria — September 9, 2025.
  Event page

• Presentation of Alt-Ergo-Fuzz and Benchpress
  CEA-List/LSL Seminar, Palaiseau, France — October 20, 2022.
  Announcement