"2024-03-29 08:41:18"; "Doctoral defenses of Doctoral School of Informatics"; "Name of doctoral candidate";"Thesis supervisor";"co-supervisor";"date of defense";"Title of thesis";"Date of decision of DS"; "Bence Graics";"István Majzik";"";"2024-04-11 14:30:00";"Formal Modeling, Verification and Test Generation for Component-Based Reactive Systems";""; "Illés Solt";"Gábor Magyar";"";"2024-03-22 09:15:00";"Context-awareness and Learning Strategies to Improve Text Mining for the Life Sciences";""; "2";