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 will start on Monday, 4 October, at the Technische Universität Dresden.
What's New
Best EMCL Master Thesis Award 2013
Mr Fariz Darari received the price for the best EMCL master thesis 2013 during the EMCL students workshop at TUW in February 2014.[more...]
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...]