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