Prezentarea rezultatelor preliminare obținute în teza de doctorat
Modal logic for program specification
elaborată de drd. Natalia OZUNU (MOANGĂ) (conducător științific Prof. univ. dr. Ioana Leuștean), va avea loc pe
6 septembrie 2022, ora 14:00, în sala 214 (sala Google).