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

What's New

28 October 2014

Master Thesis Defence by Ms Itzel Vázquez Sandoval

Ms Itzel Vázquez Sandoval defended his master thesis on 'Automated Reasoning Support for Process Models using Action Languages'.[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...]