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 Mundus programme of the European Union. |  |
Important Dates
Applications for the EMCL program 2014 including the Erasmus Mundus grant are possible in the period from 1 November to 31 January. Applicants must use the online application system .
What's New
EMCL Student Workshop 2014
The EMCL Student Workshop 2014 will take place at TUW on 18 and 19 February 2014.[more...]
Master Thesis Defense by Ms Alina Petrova
Ms Alina Petrova defended her master thesis on 'Learning formal definitions for biomedical concepts'[more...]
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...]