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 will start on Monday, 4 October, at the Technische Universit├Ąt Dresden.

What's New

11 March 2014

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


20 December 2013

EMCL Student Workshop 2014

The EMCL Student Workshop 2014 will take place at TUW on 18 and 19 February 2014.[more...]


17 December 2013

Master Thesis Defense by Ms Alina Petrova

Ms Alina Petrova defended her master thesis on 'Learning formal definitions for biomedical concepts'[more...]


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