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
Admission procedure for the EMCL course starting in October 2011
The selection and admission procedure for the EMCL course starting in October 2011 has been finished. [more...]
Master Thesis Defense by Tri Kurniawan Wijaya
Mr Tri Kurniawan Wijaya defended his master thesis on 'Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs'.[more...]
Student Project Work at NICTA
EMCL student Gil Vegliach is doing his project work at NICTA from August to November 2011.[more...]
Master Thesis Defense by Álvaro Fernández Díaz
Mr Álvaro Fernández Díaz defended his master thesis on 'Static Partial Order Reductions for Probabilistic Systems'. [more...]
Master Thesis Defense by Umer Liqat
Mr Umer Liqat defended his master thesis on 'Slicing probabilistic and reactive systems for model reduction'.[more...]