Past Events
Past Events
10th Regional Summer School on Applied Mathematics, Sinaia, July 9-17, 2025
NSF-UEFISCDI Summer School on Fluids, Bucharest, June 30-July 8, 2025
Working Formal Methods Symposium – FROM 2023, Bucharest, September 21-22, 2023
ILDS-FMI Coq and Lean Autumn School, Bucharest, September 18-20, 2023