Skip to content
ILDS-FMI Coq and Lean Autumn School 2023

Interactive Theorem Proving School

  • Home
  • Registration
  • Organising Committee
  • Program
  • Location
  • Local information
  • Participants

Organising Committee

  • Laurențiu Leuștean (ILDS & University of Bucharest & IMAR)
  • Natalia Ozunu (University of Bucharest)
  • Andrei Sipoș (ILDS & University of Bucharest & IMAR)
  • Traian Florin Șerbănuță (ILDS & University of Bucharest & RV)
©2025 ILDS-FMI Coq and Lean Autumn School 2023 | WordPress Theme Design by Superbthemes