Două evenimente co-organizate de facultatea noastră în luna septembrie:
- Conferința FROM 2023 (Seventh Working Formal Methods Symposium) între 21-22 septembrie 2023 – organizatori: Facultatea de Matematică și Informatică, Universitatea din București și Institutul de Logică și Știința Datelor
- Școala de toamnă ILDS-FMI Coq and Lean 2023 – Interactive Theorem Proving School între 18-20 septembrie 2023 – organizatori: Institutul de Logică și Știința Datelor, Facultatea de Matematică și Informatică, Universitatea din București și Centrul de cercetare în Logică, Optimizare și Securitate, Universitatea din București