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

Important Dates

The EMCL program 2016 will start on Monday, 4 October, at the Technische Universit├Ąt Dresden.

What's New

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


20 August 2014

Master Thesis Defense by Mr Amr Hany Shehata Saleh

Mr Amr Hany Shehata Saleh defended his master thesis on 'Constraint Reasoning with Local Search for Continuous Optimization'[more...]


08 August 2014

Master Thesis Defense by Mr Sergejs Pugacs

Mr Sergejs Pugacs defended his master thesis on 'A Clustering Approach for Vehicle Routing Problems with Hard Time Windows'[more...]