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
The EMCL program 2015 will start on Monday, 5 October, at the Technische Universität Dresden.
What's New
EPCL Application Opened
The European PhD Program in Computational Logic now accepts applications. The deadline is 30 April.[more...]
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...]