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 started in October at the Technische Universität Dresden.
Mr Waheed Aslam Ghumman defended his master thesis on 'A* n Best Hyperpaths in Haskell'.
Ms Mahfuza Farooque defended her master thesis on 'A Study on Satisfiability in Fuzzy Description Logics'.
Mr Nguyen Thanh Binh defended his master thesis on 'Unification in Description Logic EL without Top constructor'.
An EMCL professor, an EMCL student and a former MCL student present a paper at the LPAR-17.
Steffen Hölldobler from TUD is back at NICTA again in July/August 2010.