to the European Master's Program in Computational Logic (EMCL), a unique distributed two-year master's program offered by leading European universities in the field of Computational Logic.
|With support of the Erasmus+: Erasmus Mundus programme of the European Union.|
The EMCL program 2016 will start on Monday, 4 October, at the Technische Universität Dresden.
Mr Adrian Rebola Pardo defended his master thesis on ' Unsatisfiability Proofs in SAT Solving with Parity Reasoning'
Ms Alifah Syamsiyah defended her master thesis on 'Ontology-Driven Extraction of Event Logs from Relational Databases'
Mr Radityo Eko Prasojo defended his master thesis on 'Entity and Aspect Extraction for Organizing News Comments'
Ms Ximena Isabel Kumi Juarez Castro defended her master thesis on ' A case study on intelligent data querying'.
Mr Tobias Kaminski received the price for the best EMCL master thesis 2014 during the EMCL students workshop at NOVA in February 2015.