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
EMCL Student Workshop 2015
The EMCL Student Workshop 2015 will take place at UNL on 18 and 19 February 2015.[more...]
Master Thesis Defense by Mr Tobias Kaminski
Mr Tobias Kaminski defended his master thesis on 'Hybrid MKNF Knowledge Bases Under Paraconsistent Well-Founded Semantics'.[more...]
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...]
Master Thesis Defense by Ms Ilina Stoilkovska
Ms Ilina Stoilkovska defended her master thesis on 'XML Data Integration'[more...]
Master Thesis Defense by Mr Adrian Haret
Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment'[more...]