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