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.
This new website concerns EMCL starting from fall 2010 onwards.
EMCL has been awarded an Erasmus Mundus Brand Name by the European Commission/EACEA.
Important Dates
The EMCL online application system will open on 15 March.
What's New
EMCL Student Worskshop 2012
The EMCL Student Workshop 2012 will take place at TU Wien on 21st and 22nd February.[more...]
Master Thesis Defense by Tran Trung Kien
Mr Tran Trung Kien defended his master thesis on 'Query Answering in the Description Logic Horn-SHIQ'.[more...]
Master Thesis Defense by Weili Fu
Ms Weili Fu defended her master thesis on 'Labeling-extensions of general tableaux with many values'.[more...]
Master Thesis Defense by Premchand Nutakki
Mr Premchand Nutakki defended his master thesis on 'Specializing conjunctive queries in the EL-family for better comprehension of result sets'.[more...]
Master Thesis Defense by Marco Gario
Mr Marco Elio Gustavo Gario defended his master thesis on 'Backdoors for SAT'.[more...]