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 Mundus programme of the European Union. With support of the Erasmus Mundus programme of the European Union

Important Dates

Applications for the EMCL program 2014 are possible in the period from 15 March to 31 May 2014. Applicants must use the online application system . Best ranked applicants may get a monthly scholarship and / or a tuition fee waiver for two years.

What's New

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


15 October 2010

Master Thesis Defense by David Buezas

Mr David Buezas defended his master thesis on 'Constraint-based modeling of Minimum Set Covering: Application to Species Differentiation'.[more...]


14 October 2010

Master Thesis Defense by Domenico Carbotta

Mr Domenico Carbotta defended his master thesis on 'A Practical Automata-Based Technique For Reasoning In Expressive Description Logics'.[more...]