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.
The EMCL Student Workshop 2015 will take place at UNL on 18 and 19 February 2015.
Mr Tobias Kaminski defended his master thesis on 'Hybrid MKNF Knowledge Bases Under Paraconsistent Well-Founded Semantics'.
Ms Itzel Vázquez Sandoval defended his master thesis on 'Automated Reasoning Support for Process Models using Action Languages'.
Ms Ilina Stoilkovska defended her master thesis on 'XML Data Integration'
Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment'