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.|
The EMCL program 2016 will start on Monday, 4 October, at the Technische Universität Dresden.
Mr Andreas Fellner defended his master thesis on 'Space & Congruence Compression of Proofs '
Mr Enrique Matos defended his master thesis on 'Increasing the Robustness of SAT Solving with Machine Learning Techniques'
The former EMCL student, Ms Maria Magdalena Ortiz de la Fuente, received the EMCL Distinguished Alumni Award 2014.
Mr Amr Hany Shehata Saleh defended his master thesis on 'Constraint Reasoning with Local Search for Continuous Optimization'
Mr Sergejs Pugacs defended his master thesis on 'A Clustering Approach for Vehicle Routing Problems with Hard Time Windows'