Școală de Vară: Proof Engineering with Lean (21-24 Septembrie 2026)
Facultatea de Matematică și Informatică organizează școala de vară „Proof Engineering with Lean”, un eveniment dedicat intersecției dintre demonstrarea interactivă a teoremelor (interactive theorem proving), matematica teoretică și verificarea formală a software-ului.
Pentru mai multe informații vă rugăm să consultați pagina evenimentului: https://math.ubbcluj.ro/~simion/lean/
Termenul limită pentru înscriere este 30 iunie 2026.
