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