Facultatea de Matematică şi Informatică vă invită să participaţi la susţinerea publică a tezei de doctorat cu titlul Verificarea formală a modelelor pentru sisteme cu evenimente discrete, autor CACOVEAN Florentina-Laura, elaborată sub îndrumarea dlui prof. univ. dr. BOIAN Florian-Mircea.

Susţinerea va avea loc joi, 26 iunie 2014, 16:00, în sala 335, clădirea FSEGA, str. Teodor Mihali, nr. 58-60.