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

16 December 2010

Master Thesis Defense by Norbert Manthey

Mr Norbert Manthey defended his master thesis on 'Improving SAT Solvers Using State-Of-The-Art Techniques'.[more...]


16 December 2010

Master Thesis Defense by Luciano Guasco

Mr Luciano Guasco defended his master thesis on 'Multiple sequence alignment correction using constraints'.[more...]


29 November 2010

Visit to TUD of Jose Alferes from UNL

From 30 November to 2 December 2010 Jose Julio Alferes from UNL is visiting TUD.[more...]


30 October 2010

Eruption of the Merapi in Indonesia

In October the Merapi erupted and heavily affected the UII, the place for carrying out the 3rd Indonesian Summer School 2010 and LPAR-17, which only were finished on 16 October.[more...]


26 October 2010

Online Application for the EMCL Program and the Erasmus Mundus Grants

Application period for the EMCL and the Erasmus Mundus grant starts on 1 November. Please consider the different deadlines. [more...]