European Master's Program in Computational Logic

Search:

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. With support of the 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

17 October 2013

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...]


17 October 2013

Master Thesis Defense by Mr Oleksandr Stashuk

Mr Oleksandr Stashuk defended his master thesis on 'Integrating Constraint Programming into Answer Set Programming'. [more...]


17 October 2013

Master Thesis Defense by Ms Shqiponja Ahmetai

Ms Shqiponja Ahmetai defended her master thesis on 'Planning in Graph Databases under Description Logic Constraints'.[more...]


17 October 2013

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...]


07 October 2013

Start of the EMCL program 2014

The EMCL program starts on Monday, 14 October 2013 at TUD.[more...]