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 program starts on Monday 6 October at the Technische Universitšt Dresden. All students are strongly requested to take part in the introductory week..

What's New

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


20 August 2014

EMCL Distinguished Alumni Award 2014

The former EMCL student, Ms Maria Magdalena Ortiz de la Fuente, received the EMCL Distinguished Alumni Award 2014. [more...]


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