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. |
Important Dates
The EMCL program 2016 will start on Monday, 4 October, at the Technische Universität Dresden.
What's New
Master Thesis Defense by Mr Andreas Fellner
Mr Andreas Fellner defended his master thesis on 'Space & Congruence Compression of Proofs ' [more...]
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...]
EMCL Distinguished Alumni Award 2014
The former EMCL student, Ms Maria Magdalena Ortiz de la Fuente, received the EMCL Distinguished Alumni Award 2014. [more...]
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...]
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...]