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

Interactive Theorem Proving School

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

Location

The school will be held at the Faculty of Mathematics and Computer Science, University of Bucharest (Academiei 14), in the Pompeiu Amphitheatre (located on the second floor).

The official dinner (19 September) will be held at the Institute for Logic and Data Science (Popa Tatu 18):

©2025 ILDS-FMI Coq and Lean Autumn School 2023 | WordPress Theme Design by Superbthemes