"2024-03-28 21:50:50"; "Informatikai Tudományok Doktori Iskola doktori védései"; "Doktorjelölt neve";"témavezető";"társ témavezető";"védés időpontja";"Értekezés címe";"cím odaítélése /döntés dátuma"; "Graics Bence";"Majzik István";"";"2024-04-11 14:30:00";"Formal Modeling, Verification and Test Generation for Component-Based Reactive Systems";""; "Solt Illés";"Magyar Gábor";"";"2024-03-22 09:15:00";"Context-awareness and Learning Strategies to Improve Text Mining for the Life Sciences";""; "2";