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. |  |
Important Dates
The EMCL program 2015 will start on Monday, 5 October, at the Technische Universität Dresden.
What's New
Master Thesis Defense by Mr Adrian Haret
Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment'[more...]
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...]