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 started in October at the Technische Universität Dresden.
What's New
Master Thesis Defense by Norbert Manthey
Mr Norbert Manthey defended his master thesis on 'Improving SAT Solvers Using State-Of-The-Art Techniques'.[more...]
Master Thesis Defense by Luciano Guasco
Mr Luciano Guasco defended his master thesis on 'Multiple sequence alignment correction using constraints'.[more...]
Visit to TUD of Jose Alferes from UNL
From 30 November to 2 December 2010 Jose Julio Alferes from UNL is visiting TUD.[more...]
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...]
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...]