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 started in October at the Technische Universität Dresden.
Mr Andrey Rivkin defended his master thesis on 'Formal verification of data-aware business processes based on Petri nets'.
Mr Oleksandr Stashuk defended his master thesis on 'Integrating Constraint Programming into Answer Set Programming'.
Ms Shqiponja Ahmetai defended her master thesis on 'Planning in Graph Databases under Description Logic Constraints'.
Ms Paula-Andra Busoniu defended her master thesis on 'On Supporting the Development of Answer-Set Programs using Model-driven Engineering Techniques'.
The EMCL program starts on Monday, 14 October 2013 at TUD.