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
Master Thesis Defense by Ognjen Savkovic
Mr Ognjen Savkovic defended his master thesis on 'Managing Datatypes in Ontology-Based Data Access'.[more...]
Master Thesis Defense by Ario Santoso
Mr Ario Santoso defended his master thesis on 'Automated Service Synthesis in a Weighted Framework'.[more...]
Master Thesis Defense by Tewodros Awgichew Beyene
Mr Tewodros Awgichew Beyene defended his master thesis on 'Constraint-based Verification of Imperative Programs'.[more...]
Initial Meeting for new students
There is an initial meeting at TUD for all EMCL students, who start their studies in October 2011.[more...]
Student Project Work at NICTA
EMCL student Martin Aleksandrov is doing his project work at NICTA from October to December 2011.[more...]