European Master's Program in Computational Logic

Search:

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. With support of the Erasmus Mundus programme of the European Union

Important Dates

The EMCL online application portal opens on 15 November 2014. Applications for the admission to the program is possible until 31 January 2015. A limited number of Erasmus+ scholarships is available.

What's New

11 November 2014

Master Thesis Defense by Mr Tobias Kaminski

Mr Tobias Kaminski defended his master thesis on 'Hybrid MKNF Knowledge Bases Under Paraconsistent Well-Founded Semantics'.[more...]


08 October 2014

Master Thesis Defense by Ms Ilina Stoilkovska

Ms Ilina Stoilkovska defended her master thesis on 'XML Data Integration'[more...]


08 October 2014

Master Thesis Defense by Mr Adrian Haret

Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment'[more...]


08 October 2014

Master Thesis Defense by Mr Andreas Fellner

Mr Andreas Fellner defended his master thesis on 'Space & Congruence Compression of Proofs ' [more...]


08 October 2014

Master Thesis Defense by Mr Enrique Matos

Mr Enrique Matos defended his master thesis on 'Increasing the Robustness of SAT Solving with Machine Learning Techniques'[more...]


<< First < Previous 1-5 6-10 11-15 16-20 21-25 26-30 31-35 Next > Last >>