Prezentarea rezultatelor preliminare obținute în teza de doctorat
Proof Mining and Applications to Optimization and Nonlinear Analysis (Proof mining și aplicații în optimizare și analiză neliniară)
elaborată de drd. Andrei-Horațiu CHEVAL (conducător științific Prof. dr. Laurențiu LEUȘTEAN), va avea loc pe 13 septembrie 2024, ora 11:00, în sala Google.