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 starts on Monday, 14 October 2013 at TUD. Admitted candidates are advised to study carefully the information on the visa procedure, registration, TUD services etc on time.
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...]