Congresso
DAL 9 DICEMBRE 2025 AL 12 DICEMBRE 2025
ItaLean 2025
ItaLean 2025 riunisce ricercatori e professionisti impegnati nella formalizzazione della matematica in Lean e nello studio dell’interazione tra machine learning e metodi formali, offrendo lezioni, tutorial concreti, presentazioni di ricerca e tavole rotonde.