European Master's Program in Computational Logic

Search:

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. With support of the Erasmus Mundus programme of the European Union

Important Dates

The EMCL program 2016 started in October at the Technische Universität Dresden.

What's New

30 September 2010

Master Thesis Defense by Waheed Ghumman

Mr Waheed Aslam Ghumman defended his master thesis on 'A* n Best Hyperpaths in Haskell'. [more...]


28 September 2010

Master Thesis Defense by Mahfuza Farooque

Ms Mahfuza Farooque defended her master thesis on 'A Study on Satisfiability in Fuzzy Description Logics'. [more...]


18 August 2010

Master Thesis Defense by Nguyen Thanh Binh

Mr Nguyen Thanh Binh defended his master thesis on 'Unification in Description Logic EL without Top constructor'.[more...]


06 August 2010

Paper at LPAR-17

An EMCL professor, an EMCL student and a former MCL student present a paper at the LPAR-17.[more...]


23 July 2010

EMCL Scholar Steffen Hölldobler back at NICTA

Steffen Hölldobler from TUD is back at NICTA again in July/August 2010.[more...]