Mr Thanh Hai Tran defended his master thesis on 'User-guided predicate abstraction of TLA+ specification'
Ms Gonca Güllü defended her master thesis on 'A Bipolar Social Argumentation Framework'
Mr Prildy defended his master thesis on 'A Hybrid Constrained Ant Colony Approach to the Public Bus Assignment Problem with Time Windows'
Mr Luis Palacios Medinacelli defended his master thesis on ' Skeptical Abduction: A Connectionist Network'.
Ms Medina-Petrina Andresel defended her master thesis on 'A Compilation Technique for Interactive Ontology-mediated Data Exploration'
Ms Yue Chen defended her master thesis on 'Query Answering Through Reformulation'
The consortium applied for new funding of scholarships within Erasmus+.